"""
n<=10**18
k<=100
出た目d進むか7-d進む
ゲームオーバーますが6個連続してたらアウト
間隔が6以上なら問題ない
2連続があるとき、手前の方の3つ前に止まると3,4を出したときアウト
2つ飛びがあるとき、手前の方の2つ前に止まると2,5を出したときアウト
4つ飛びがあるとき、手前の方の1つ前に止まると1,6を出したときアウト
奇数飛びは回避可能
x--oo-- -> o--oo-- 
x-o--o- -> o-o--o-
xo----o -> oo----o
-123456
連鎖起きる
x-o-o-o-は回避可能
ai十分大のところで連鎖が起きると全部だめになる。

"""
def main0(n,k,a):
  dp=[0]*n
  for x in a:dp[x-1]=1
  for i in reversed(range(n)):
    if i+6<n and dp[i+1]==dp[i+6]==1:
      dp[i]=1
    if i+5<n and dp[i+2]==dp[i+5]==1:
      dp[i]=1
    if i+4<n and dp[i+3]==dp[i+4]==1:
      dp[i]=1
  return dp[0]==0

def main1(n,k,a):
  for i in reversed(range(k-1)):
    if a[i+1]-a[i] in {1,3,5}:
      if a[i]>50:return False
      return main0(a[i]+5,i+1,a[:i+2])
  return True

if __name__=='__main__':
  n,k=map(int,input().split())
  a=list(map(int,input().split()))
  ret1=main1(n,k,a)
  print('Yes' if ret1 else 'No')