该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

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。

输入输出样例 #1

输入 #1

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

输出 #1

Yes
No

数据范围

• $1 \le t \le 10^4$
• $1 \le n \le 5$
• $1 \le a_i \le 67$

子任务

• $10\%$ 的数据满足 $t \le 5$；
• $20\%$ 的数据满足 $t \le 100$；
• $30\%$ 的数据满足 $t \le 1000$；
• 其余 $40\%$ 的数据满足原始数据范围。