N, K = map(int, input().split())
A = list(map(int, input().split()))
from collections import defaultdict
d = defaultdict(lambda: [0]*7)
for a in A:
  d[a][0] = 1
while A:
  a = A.pop()
  for i in range(1,7):
    if a-i<=0:
      break
    if d[a-i][0]==1:
      continue
    if d[a-i][7-i]==1:
      d[a-i][0] = 1
      A.append(a-i)
    elif d[a-i][i]==0:
      d[a-i][i] = 1
if d[1][0]==0:
  print('Yes')
else:
  print('No')