from collections import defaultdict
N, K = map(int, input().split())
A = list(map(int, input().split()))

p, q = A[:N//2],A[N//2:]
P = [set() for _ in range(3)]
Q = [set() for _ in range(3)]

def cal(p, P):
    for i in range(1,1<<len(p)):
        s = []
        for j in range(len(p)):
            if i&(1<<j):
                s.append(p[j])
        for j in range(1<<len(s)):
            sm = 0
            cp, cn = 0,0
            for k in range(len(s)):
                if j&(1<<k):
                    cp += 1
                    sm += s[k]
                else:
                    cn += 1
                    sm -= s[k]
            if cp>=1 and cn>=1:
                P[0].add(sm)
            elif cp>=1:
                P[1].add(sm)
            else:
                P[2].add(sm)

cal(p,P)
cal(q,Q)
for n1 in P[0]:
    for i in range(3):
        if K-n1 in Q[i]:
            exit(print('Yes'))
for n1 in P[1]:
    if (K-n1 in Q[0]) or (K-n1 in Q[2]):
        exit(print('Yes'))
for n1 in P[2]:
    if (K-n1 in Q[0]) or (K-n1 in Q[1]):
        exit(print('Yes'))
print('No')