# すごろくだしゴールから戻っていくか
# そのマスがOKかどうかの判定、1or6, 2or5, 3or4先のすべてが止まれればOKマス
# 戻っていってスタートの1がOKならYes
# コンセプトはそれでいいがN10**18は巨大すぎる
# ただしK<100なのでここは相当非効率でも間に合う

N, K = map(int, input().split())
A = list(map(int, input().split()))
A_set = set(A)

ans = 'Yes'
while A:
    largest = A.pop()
    if largest == 1:
        ans = 'No'
        break
    
    if largest-5 in A:
        if largest-6 >= 1 and largest-6 not in A:
            A.append(largest-6)
    if largest-3 in A:
        if largest-5 >= 1 and largest-5 not in A:
            A.append(largest-5)
    if largest-1 in A:
        if largest-4 >= 1 and largest-4 not in A:
            A.append(largest-4)
           
    # 上でNGとしたものを踏まえて加えるNGがないかチェック
    if largest-5 in A:
        if largest-6 >= 1 and largest-6 not in A:
            A.append(largest-6)
    if largest-3 in A:
        if largest-5 >= 1 and largest-5 not in A:
            A.append(largest-5)
    if largest-1 in A:
        if largest-4 >= 1 and largest-4 not in A:
            A.append(largest-4)
    A.sort()
    #print('largest', largest, 'A', A)
    
print(ans)