CF2195A Sieve of Erato67henes

给定 $n$ 个正整数 $a_1,a_2,\ldots,a_n$。 请判断是否有可能从 $a$ 中选取任意数量的元素，使得它们的乘积为 $67$。 请注意，您不能选择零个元素，因为在这个问题中零个元素的乘积是未定义的。

每个测试包含多个测试用例。第一行包含测试用例的数量 $t$（$1 \le t \le 10^4$）。测试用例的描述随后给出。 每个测试用例的第一行包含一个整数 $n$（$1 \le n \le 5$）。 每个测试用例的第二行包含 $n$ 个正整数 $a_1,a_2,\ldots,a_n$（$ 1 \le a_i \le 67 $）。

如果能够选择元素使得它们的乘积为 $67$，则在一行中输出“YES”。否则，在一行中输出“NO”。 您可以以任何大小写形式输出答案。例如，“yEs”、“yes”和“Yes”也将被视为肯定回答。

在第一个测试用例中，您可以选择 $a_1$ 和 $a_5$，从而得到 $a_1\cdot a_5 = 1 \cdot 67 = 67$。 在第二个测试用例中，无论选择多少个元素，都无法使它们的乘积为 $67$ 。