#P1917F. Construct Tree

    ID: 10219 Type: RemoteJudge 2000ms 256MiB Tried: 0 Accepted: 0 Difficulty: 9 Uploaded By: Tags>bitmasksconstructive algorithmsdptrees*2500

Construct Tree

Description

You are given an array of integers l1,l2,,lnl_1, l_2, \dots, l_n and an integer dd. Is it possible to construct a tree satisfying the following three conditions?

  • The tree contains n+1n + 1 nodes.
  • The length of the ii-th edge is equal to lil_i.
  • The (weighted) diameter of the tree is equal to dd.

Each test consists of multiple test cases. The first line contains a single integer tt (1t2501 \leq t \leq 250) — the number of test cases. The description of the test cases follows.

The first line of each test case contains two integers nn, dd (2n2000,1d20002 \leq n \leq 2000, 1 \leq d \leq 2000).

The second line of each test case contains nn integers l1,l2,,lnl_1, l_2, \dots, l_n (1lid1 \leq l_i \leq d).

It is guaranteed that the sum of nn over all test cases does not exceed 20002000.

For each test case, output Yes\texttt{Yes} if it is possible to construct a tree that satisfies all the conditions, and No\texttt{No} otherwise.

You can print the letters in any case (upper or lower).

Input

Each test consists of multiple test cases. The first line contains a single integer tt (1t2501 \leq t \leq 250) — the number of test cases. The description of the test cases follows.

The first line of each test case contains two integers nn, dd (2n2000,1d20002 \leq n \leq 2000, 1 \leq d \leq 2000).

The second line of each test case contains nn integers l1,l2,,lnl_1, l_2, \dots, l_n (1lid1 \leq l_i \leq d).

It is guaranteed that the sum of nn over all test cases does not exceed 20002000.

Output

For each test case, output Yes\texttt{Yes} if it is possible to construct a tree that satisfies all the conditions, and No\texttt{No} otherwise.

You can print the letters in any case (upper or lower).

Sample Input 1

3
4 10
1 2 3 4
4 7
1 4 3 4
6 18
2 4 3 7 6 7

Sample Output 1

Yes
No
Yes

Note

Below, you are given the illustrations of trees for the first and third test cases. One of the diameters is highlighted by coloring its edges in red.