12979 - Diet   

Description

There are n cookies on the table, the i-th one has ci calories. Sandy wants to eat them but she is on a diet and can only consume exactly k calories a day. She wants to know whether it is possible for her to consume exactly k calories by eating some of the cookies.

Notes for sample IO

There are 4 cookies, and Sandy can consume exactly 13 calories.

Each cookie has calories 1, 2, 4, 7, respectively.

Sandy can choose the second, third, and fourth cookie so that the sum of their calories is 2+4+7=13.

Input

The first line of the input are two integers n and k.

The second line are n numbers c1, c2, ..., cn.

  • 1 <= n <= 20

  • 0 <= ai, k < 109, for i=1~n

Output

Output "YES" (without quotation mark) in one line if it is possible to consume exactly k calories, outplut "NO" (without quotation mark) in one line otherwise.

Sample Input  Download

Sample Output  Download

Tags




Discuss