python/24-6-21-1.py

a=input()
b=input()
c=input()
d=b.split(",")
e=c.split(",")
f="no"
w=""
o=sum(e)
k=d[1]
z=d[0]+1
if o>=k:
    f="yes"
for i in range(1,z):
    for j in range(1,z):
        if e[i]==e[j]:
            w=""
        elif e[i]*e[j]%154==0 or e[i]*e[j]%147==0:
            f="yes"
print(f)