A. 2023

时间限制：每个测试 $1$ 秒
内存限制：每个测试 $256$ 兆字节

在一个序列 $a$ 中，所有元素的乘积等于 $2023$。现在从中删除了 $k$ 个数，剩下一个长度为 $n$ 的序列 $b$。给定结果序列 $b$，请找出任意一个合适的原序列 $a$，并输出被删除的 $k$ 个元素；如果这样的序列不可能存在，请指出不存在。

注意：并不保证这样的序列一定存在。

输入
每个测试包含多个测试用例。第一行包含一个整数 $t$（$1 \le t \le 100$）——测试用例的数量。接下来是对每个测试用例的描述。

每个测试用例的第一行包含两个整数 $n$ 和 $k$（$1 \le n, k \le 5$）——序列 $b$ 的大小以及从序列 $a$ 中删除的数的个数。

第二行包含 $n$ 个整数 $b_1, b_2, \dots, b_n$（$1 \le b_i \le 2023$）——剩余的序列。$b_i$ 的值不一定是 $2023$ 的因数。

输出
对于每个测试用例，如果序列 $a$ 存在，则输出 YES，并在下一行输出 $k$ 个被删除的非负整数；如果序列 $a$ 不存在，则输出 NO。

答案的大小写任意。例如，yEs、yes、Yes、YES 均会被识别为肯定回答。

示例

输入：
7
2 2
5 2
3 1
7 17 7
4 2
1 289 1 1
3 1
7 17 17
1 1
289
1 1
2023
1 3
1

输出：
NO
NO
YES
7 1
YES
1
YES
7
YES
1
YES
7 17 17

说明
在第三个测试用例中，乘积为 $289 \times 7 = 2023$。

在第四个测试用例中，乘积已经等于 $2023$。

在第七个测试用例中，乘积为 $7 \times 17 \times 17 = 2023$。