#おそらく正しい解法 n,k=map(int,input().split()) a=list(map(int,input().split())) if k in a: print('Yes') exit() d={} cnt=0 if k==0: cnt+=2**n for i in range(2**n): tmp=0 for j in range(n): if (i>>j)&1: tmp+=a[j] if tmp==k: cnt-=2**(n-bin(i).count('1')) if tmp==-k: cnt-=2**(n-bin(i).count('1')) if tmp in d: d[tmp]+=1 else: d[tmp]=1 for i in d.keys(): if i+k in d.keys(): cnt+=d[i]*d[i+k] if cnt>0: print('Yes') else: print('No')