吃橘子

题目描述

贝塔幼儿园最近进行了分橘子的游戏，游戏结束后每名同学都得到了若干个橘子。

作为贝塔幼儿园的一员，小贝获得了 $n$ 个橘子。每个橘子都有一个美味程度，这 $n$ 个橘子的美味程度分别为 $a_1, a_2, ..., a_n$。

小贝天赋异禀有一个可以无限次数使用的特殊技能：他可以每次在 $n$ 个橘子中任选两个橘子，如果这两个橘子美味程度的乘积是 $147$ 或 $154$ 的倍数，那么小贝手中所有 $n$ 个橘子的美味程度将变为原来的 $2$ 倍。

现在小贝想知道，在使用若干次特殊技能后，他所持有的所有橘子的美味程度之和能否不小于 $k$？

输入格式

输入的第一行，包含一个整数 $T$，表示本题共有 $T$ 组测试数据。

接下来共有 $T$ 组测试数据，每组测试数据为两行：

• 每组测试数据的第一行，包含两个整数 $n, k$，分别表示小贝所持有的橘子数量 和 最终美味程度之和的目标。
• 每组测试数据的第二行，包含 $n$ 个整数，分别表示每个橘子的初始美味程度。

输出格式

输出共 $T$ 行，每行输出一个字符串：

• 如果可以达到目标 $k$，那么输出 Yes。
• 如果不能达到目标 $k$，则输出 No。

样例 #1

样例输入 #1

1
4 1295
136 875 196 34

样例输出 #1

No

样例 #2

样例输入 #2

1
4 1441
677 293 859 751

样例输出 #2

Yes

样例 #3

样例输入 #3

1
4 1395
143 238 174 199

样例输出 #3

Yes

提示

$1 \leq T \leq 10 ^ 5$

$1 \leq T组n之和 \leq 10 ^ 6$

$1 \leq k \leq 10 ^ {100000}$

$1 \leq a _ i \leq 10 ^ 9$

$1 \leq K \leq 2 \times 10 ^ 6$

样例1解释：

小贝无法使用技能进行操作，所有橘子美味程度之和小于1295，无法达到目标。

样例3解释：

小贝可以选择 $143$ 和 $238$ 进行操作，使得所有橘子的美味程度翻倍，从而达到目标。