I,P,E=input,print,exit;n,k=map(int,I().split());a=list(map(int,I().split()));s,l=set(a),[2,3,5,8,9]
for i in a:
 if i+1 in s:
  if i not in l:E(P("No"))
 if i+3 in s:
  if i not in [2,5]:E(P("No"))
 if i+5 in s:
  if i-1 not in l:E(P("No"))
P("Yes")