n=int (input ()) 
cnt=[0 for i in range (3)]
for it in input (). split () :
    cnt [int(it)-1]+=1
cnt=sorted (cnt) 
ans="No"
if cnt[0]>=1 or (cnt[1]>=2 and cnt[2]>=2) or (cnt[1]>=1 and cnt[2]>=5):
    ans="Yes"
print (ans)