import sys

sys.setrecursionlimit(10**7)
def I(): return int(sys.stdin.readline().rstrip())
def MI(): return map(int,sys.stdin.readline().rstrip().split())
def LI(): return list(map(int,sys.stdin.readline().rstrip().split()))
def LI2(): return list(map(int,sys.stdin.readline().rstrip()))
def S(): return sys.stdin.readline().rstrip()
def LS(): return list(sys.stdin.readline().rstrip().split())
def LS2(): return list(sys.stdin.readline().rstrip())


N,K = MI()
A = LI()

is_ok = [1]*(N+1)
for a in A:
    is_ok[a] = 0

for i in range(N-1,0,-1):
    if is_ok[i] == 0:
        continue
    for j in range(1,4):
        if i+j > N or is_ok[i+j] or i+(7-j) > N or is_ok[i+(7-j)]:
            continue
        else:
            is_ok[i] = 0
            break

if is_ok[1]:
    print('Yes')
else:
    print('No')