编程题
### 问题描述
小然有一个长度为 $N$ 的整数数组 $A$ 和一个整数 $B$。
他想要找出是否存在一个非空的 $A$ 的子序列,使得这个子序列中所有元素的按位与运算结果等于 $B$。
### 输入格式
第一行输入一个整数 $T$,表示测试用例的数量。
每个测试用例包含两行:
- 第一行输入两个整数 $N$ 和 $B$,表示数组的长度和目标整数。
- 第二行输入 $N$ 个整数,分别是 $A_1$,$A_2$,...,$A_N$,表示数组 $A$。
### 输出格式
对于每个测试用例,如果存在满足条件的子序列,输出 "YES";否则,输出 "NO"。
### 样例输入
```markdown
2
6 5
1 7 3 4 2 13
3 2
1 3 4
```
### 样例输出
```markdown
YES
NO
```
### 说明
样例中的第一个测试用例:这里有一个子序列 $[A_2, A_6]$,这个子序列中所有元素的按位与运算结果为 $7 \And 13 = 5$。
样例中的第二个测试用例:可以证明,不存在满足条件的子序列。
### 评测数据范围
$1 \leq T \leq 10^5$。
$1 \leq N \leq 10^5$。
$0 \leq B, A_i < 2^{30}$。
所有测试用例中 $N$ 的和不超过 $6 \times 10^5$。