题目描述

给定 $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”也将被视为肯定回答。

样例

2
5
1 7 6 7 67
5
1 3 5 7 8

YES
NO

样例说明

在第一个测试用例中，您可以选择 $a_1$ 和 $a_5$，从而得到 $a_1\cdot a_5 = 1 \cdot 67 = 67$。

在第二个测试用例中，无论选择多少个元素，都无法使它们的乘积为 $67$ 。

来源

Codeforces 2195A，英文题名 Sieve of Erato67henes。