# O(N3^N) 解法
n,k=map(int,input().split())
a=list(map(int,input().split()))
import itertools
all=itertools.product([-1,0,1], repeat=n)
for x in all:
  if max(x)==1 and min(x)==-1:
    cnt=0
    for i in range(n):
      cnt+=a[i]*x[i]
    if cnt==k:
      print('Yes')
      exit()
print('No')