N, K = map(int, input().split())
A = list(map(int, input().split()))
M = 200
B = []
for i in range(K):
    if A[i] <= M:
        B.append(A[i] - 1)
        continue
    if A[i] + 1 in A or A[i] + 3 in A or A[i] + 5 in A:
        print("No")
        exit()
    
dp = [0] * (M + 6)
for b in B:
    dp[b] = 1
    
for i in range(M - 1, -1,- 1):
    if dp[i + 1] and dp[i + 6]:
        dp[i] = 1
    if dp[i + 2] and dp[i + 5]:
        dp[i] = 1
    if dp[i + 3] and dp[i + 4]:
        dp[i] = 1
        
print("Yes") if dp[0] == 0 else print("No")