# あるポジション0から見て(1, 6)両方がアウトならアウト、同様に(2, 5), (3, 4)
# ということはダメなマスがあったら、そこから右に+1, +3, +5がダメなら、左に新しいダメマスができる
# そうやってダメマスを左に作っていき、スタートの1がダメマスならNo, else Yes
# ダメマスは最初のK個からどんどん増えていって、最大値のものから調べる必要がある
# マイナスにしてheapするか
# TLEしたので、heapに加えるかどうかのsetも加えてみる
# それでもTLE、main()を使うか、それともDame数が3連続となったらそれで終わりとするか

from heapq import *
N, K = map(int, input().split())
A = list(map(int, input().split()))
Dame = [-a for a in A]
Dame_set = set(Dame)
heapify(Dame)
visited = set()

while Dame:
    largest = heappop(Dame)
    Dame_set.discard(largest)
    
    if (largest-1) in visited and (largest+3) < 0 and (largest+3) not in Dame_set:
        heappush(Dame, largest+3)
        Dame_set.add(largest+3)
        if largest+3 < -1-8:
            #解説見た、実験するとわかるが一度Dameとなるとその8マス以後はすべてDame
            print('No')
            exit()
    if (largest-3) in visited and (largest+2) < 0 and (largest+2) not in Dame_set:
        heappush(Dame, largest+2)
        Dame_set.add(largest+2)
        if largest+2 < -1-8:
            #解説見た、実験するとわかるが一度Dameとなるとその8マス以後はすべてDame
            print('No')
            exit()
    if (largest-5) in visited and (largest+1) < 0 and (largest+1) not in Dame_set:
        heappush(Dame, largest+1)
        Dame_set.add(largest+1)
        if largest+1 < -1-8:
            #解説見た、実験するとわかるが一度Dameとなるとその8マス以後はすべてDame
            print('No')
            exit()
    visited.add(largest)
    #print('Dame', Dame, 'Dame_set', Dame_set, 'visited', visited)
if (-1) in visited:
    print('No')
else:
    print('Yes')