N,K = map(int,input().split())
A = list(map(int,input().split()))
for i in range(K-1):
    for j in range(i+1,K):
        if A[j]-A[i] == 5:
            if A[i] >= 10:
                print("No")
                exit()
        if A[j]-A[i] == 3:
            if A[i] >= 10:
                print("No")
                exit()
        if A[j]-A[i] == 5:
            if A[i] >= 10:
                print("No")
                exit()
dangerous = [0]*30
s = set()
for i in A:
    if i < 30:
        dangerous[i] = 1
for i in range(1,21)[::-1]:
    if dangerous[i+1] and dangerous[i+6]:
        dangerous[i] = 1
    if dangerous[i+2] and dangerous[i+5]:
        dangerous[i] = 1
    if dangerous[i+3] and dangerous[i+4]:
        dangerous[i] = 1
if dangerous[1]:
    print("No")
else:
    print("Yes")