文理学院程序设计在线练习


大明的烦恼

Time Limit: 1 Second(s)    Memory Limit: 32 MB

Total Submission(s): 155   Accepted Submission(s): 111
Problem Description

大明是小学数学老师,他经常出一些填空题让学生进行课后练习,这些填空题是这样的, 按顺序给定n个整数以及结果值,学生可以在这n个整数之间填上运算符,使得结果恰好等于事先给定的结果值.

当然,小学一年级的学生只会进行加减运算,运算过程和结果也不会出现负值.

例如:

给定4个整数1,2,3,4以及结果2,学生可以这样填上运算符:1+2+3-4=2
给定3个整数4,2,3以及结果5,学生可以这样填上运算符:4-2+3=5

由于大明实在太忙了,因此他常委托小明代为出题,可是你也知道,毕竟小明才上小学三年级,自己数学也不太好,因此,经常出现无解的情况,比如:给定3个整数2,2,6以及结果1.把这种无解的题目让学生做可不太好,因此,现在请你帮忙,看看小明的出题是否可用,也就是判断是否有解.

Input

输入数据首先包含一个整数T,表示测试实例的个数,然后是T组测试数据。
每组测试首先是2个整数k和n,其中0<=k<=90,2<=n<=10,分别代表运算的结果值以及参与运算的整数的数量,然后是n个整数,这些整数的范围属于在[1,9]之间.数据之间用空格分隔.

Output

对于每组测试数据,请你验算题目的合法性,对于有解的测试输出"Yes",对于无解的测试输出"No".

Sample Input
6
2 4 1 2 3 4
3 3 2 2 6
6 4 1 2 3 4
55 10 1 2 3 4 5 6 9 8 9 7
54 10 9 8 7 6 5 4 3 2 9 1
3 4 3 3 3 3
Sample Output
Yes
No
No
No
Yes
No
Author

flx

Source

usx第四届程序设计竞赛