RT

首先，这道题评测始终是Waiting状态

这道题的题目翻译与原题干不符，也就是PDF中的题目不相符

我自己翻译了原题干如下

尽管可能很难想象，某个小国Additivia的居民不知道有零钱这种东西，这可能与他们不知道减法有关。当他们买东西的时候，他们总是需要有确切数量的Addollars，他们的货币。而他们唯一的其他选择，毫无吸引力的选择，就是付更多的钱。

Adem教授，Additivian的数学家之一，想出了一个保持平衡投资的算法。这个想法是这样的。首先假设你有价值v1的硬币多于价值v2的硬币。在这种情况下，你应该尽量在你的任何购买中花费至少与价值v1的硬币一样多的硬币。当然花太多v1币也不是个好主意，但为了使算法更简单，Adem教授决定忽略这个问题。该算法立即成为热门，Adem教授现在正在设计一种内置Adem算法的 "电子投资组合服务"。他现在需要的是给这些机器的软件，它将根据Adem算法的规则，决定是否可以用一组给定的硬币支付一定数量的Addollars。

不用说，你是他选定的负责这项任务的程序员。

编写一个程序，读取一组硬币的描述和要支付的Addollars数额，并根据Adem教授的规则决定是否可以支付该数额。

输入

输入开始时，在一行中自带一个正整数，表示后面的案例数量，每个案例的描述如下。

这一行后面是一个空行，在两个连续的输入之间也有一个空行。

输入的内容以要支付的加元数额x开始，其中1≤x≤100000。

接下来是不同硬币价值的数量k，其中1≤k≤5。

硬币的价值v1, . . . , vk如下，其中 1 ≤ vi ≤ 10000。

请注意，硬币价值之间的顺序是很重要的：你需要花费价值v1的硬币与价值v2的硬币至少一样多，价值v2的硬币与价值v3的硬币至少一样多，以此类推。你可以假设你有足够多的每种价值的硬币。

输出

对于每个测试案例，其输出必须遵循以下规则。

两个连续案例的输出将由一个空行分开。

如果给定的金额可以按照规则支付，你的程序应该输出一个单词 "YES"，否则输出一个单词 "NO"

洛谷链接UVA1120