N,K=map(int,input().split())
A=list(map(int,input().split()))
L=[]
for i in range(K):
  for j in range(i+1,K):
    if A[j]-A[i]==1:
      if not A[j] in (3,4,6,9):
        print("No")
        exit()
    elif A[j]-A[i]==3:
      if not A[j] in (2,3,5,8,10):
        print("No")
        exit()
    elif A[j]-A[i]==5:
      if not A[j] in (2,3,4,5,8,9,11,14):
        print("No")
        exit()
print("Yes")