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

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

from heapq import *
H = [-a for a in A]
heapify(H)
ans = 'Yes'
while H:
    largest = -heappop(H)
    if largest == 1:
        ans = 'No'
    
    A_set.discard(largest)
    if largest-6 >= 1 and largest-5 in A_set and largest-6 not in A_set:
        heappush(H, -(largest-6))
        A_set.add(largest-6)
    if largest-5 >= 1 and largest-3 in A_set and largest-5 not in A_set:
        heappush(H, -(largest-5))
        A_set.add(largest-5)
        # このケースだけは新たにNGが生まれうる
        if largest-6 >= 1 and largest-5 in A_set and largest-6 not in A_set:
            heappush(H, -(largest-6))
            A_set.add(largest-6)
    if largest-4 >= 1 and largest-1 in A_set and largest-4 not in A_set:
        heappush(H, -(largest-4))
        A_set.add(largest-4)
    #print('largest', largest, 'H', H, 'A_set', A_set)
print(ans)