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

dp = [False]*(N+1)
dp[-1] = True
for i in range(N-1,0,-1):
    if i in A:continue
    cnt = 0
    if dp[i+1] or dp[min(N,i+6)]:
        cnt += 1
    if dp[min(N,i+2)] or dp[min(N,i+5)]:
        cnt += 1
    if dp[min(N,i+3)] or dp[min(N,i+4)]:
        cnt += 1
    if cnt==3:
        dp[i] = True
if dp[1]:
    print('Yes')
else:
    print('No')