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

from heapq import *
N, K = map(int, input().split())
A = list(map(int, input().split()))
Dame = [-a for a in A]
heapify(Dame)
visited = set()
while Dame:
    largest = heappop(Dame)
    if largest in visited:
        continue
    
    if (largest -1) in visited and largest + 3 < 0:
        heappush(Dame, largest + 3)
    if (largest -3) in visited and largest + 2 < 0:
        heappush(Dame, largest + 2)
    if (largest -5) in visited and largest + 1 < 0:
        heappush(Dame, largest +1)
    visited.add(largest)
    #print('Dame', Dame, 'visited', visited)
if (-1) in visited:
    print('No')
else:
    print('Yes')