以下题面由 AI 翻译。

题目描述

给定一个包含 $n$ 个整数的列表。你可以进行如下操作：从列表中选择一个元素 $x$，将其从列表中删除，并将列表中剩余的所有元素都减去 $x$ 的值。因此，每次操作后，列表的长度恰好减少 $1$。

给定一个整数 $k$ ($k>0$)，判断是否存在一个 $n-1$ 次操作的序列，使得操作结束后列表中仅剩的元素等于 $k$。

输入格式

输入包含多组测试数据。第一行包含一个整数 $t$ ($1 \leq t \leq 10^4$) —— 表示测试用例的数量。接下来是每个测试用例的描述。

每个测试用例的第一行包含两个整数 $n$ 和 $k$ ($2 \leq n \leq 2\cdot 10^5$, $1 \leq k \leq 10^9$)，分别表示列表中整数的个数和目标值。

每个测试用例的第二行包含 $n$ 个整数 $a_1, a_2, \ldots, a_n$ ($-10^9 \leq a_i \leq 10^9$)。

保证所有测试用例的 $n$ 的总和不超过 $2 \cdot 10^5$。

输出格式

对于每个测试用例，如果可以通过 $n-1$ 次操作得到 $k$，则输出 YES，否则输出 NO。

你可以以任意大小写形式输出每个字母（例如，"YES", "Yes", "yes", "yEs" 都会被识别为肯定回答）。

样例数据

4
4 5
4 2 2 7
5 4
1 9 1 3 4
2 17
17 0
2 17
18 18

YES
NO
YES
NO

提示

在第一个例子中，列表为 $\{4, 2, 2, 7\}$，目标值 $k = 5$。一种可行的操作序列如下：

1. 选择第三个元素（值为 2），得到列表 $\{4-2, 2-2, 7-2\} = \{2, 0, 5\}$
2. 选择第一个元素（值为 2），得到列表 $\{0-2, 5-2\} = \{-2, 3\}$
3. 选择第一个元素（值为 -2），得到列表 $\{3 - (-2)\} = \{5\}$