题目描述

给定 n个互不相同的正整数 a1,a2,a3...an，将之排成一行。你需要在每个 ai 前加上一个加号(+)或减号(-)，使 这 n 个数字组成一个算式。请问是否存在一种添加符号的方案，使该算式 的值为 17？如果存在，请输出 Yes，否则输出 No。 例如，给定 n = 5, a1 = 1, a2 = 4, a3 = 5, a4 = 9, a5 = 8，则 −a1 − a2 + a3 + a4 + a5 = 17。 提示：使用穷举法解决这个问题。

输入格式

无

输出格式

无

样例输入

5
1 4 5 9 8

样例输出

Yes