감자 자루

감자 자루는 무게 용량(파운드 단위)이 각각 다르다. 감자도 무게가 각각 다르다. 무게가 서로 다를 수도 있는 감자 여러 개가 주어졌을 때, 그중 일부 또는 전부를 사용해 주어진 용량의 감자 자루를 정확히 채울 수 있는지 판별하라.

입력의 첫 줄에는 이어지는 데이터 세트의 수를 나타내는 십진 정수 $P$가 주어진다. ($1 \le P \le 100$) 각 데이터 세트는 서로 독립적으로, 같은 방식으로 처리한다.

각 데이터 세트는 공백으로 구분된 양의 정수 12개를 포함하는 한 줄로 이루어진다. 데이터 세트 번호 $K$, 파운드 단위의 감자 자루 용량 $C$, ($10 \le C \le 30$) 그리고 파운드 단위의 감자 10개 무게가 순서대로 주어진다. 감자 하나의 무게는 3파운드를 넘지 않는다.

각 데이터 세트마다 출력은 한 줄이다.

출력 줄은 데이터 세트 번호 $K$, 공백 하나, 그리고 감자 자루를 용량 $C$파운드에 정확히 채울 수 있으면 YES, 정확히 채울 수 없으면 NO로 이루어진다.