import sys

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

Mass = []

if len(Alist) != K:
    print('system error')
    sys.exit()

for setmass in range(1, N+1):
    Mass.append(setmass)

for j in range(0, K):
    Mass.remove(Alist[j])


for mass in Mass:
    for i in range(1, 4):
        Conv = []
        for j in range(0, K):
            Conv.append(mass + i)
            Conv.append(mass + (7 - i))
            if mass + (7 - i) > N:
                continue
            if set(Conv) & set(Mass) == set():
                print('NO')
                sys.exit()
            Conv = []


print('Yes')