#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define ALL(v) v.begin(),v.end()
typedef long long ll;

#include <bits/stdc++.h>
using namespace std;

int main(){
  ll n,k;
  cin>>n>>k;
  
  vector<ll> A(k);
  rep(i,k) cin>>A[i];
  
  auto m=lower_bound(ALL(A),1000)-A.begin();
  
  bool b=false;
  for(int i=m;i+1<k;i++){
    if(A[i+1]-A[i]==1 || A[i+1]-A[i]==3 || A[i+1]-A[i]==5 || A[i+2]-A[i]==5) b=true;
  }
  if(b){
    cout<<"No"<<endl;
    return 0;
  }
  vector<int> B(1001);
  for(int i=0;i<m;i++){
    B[A[i]]=1;
  }
  for(int i=1000;i>=1;i--){
    if(B[i]==1) continue;
    if(B[i+1]==1 && B[i+6]==1) B[i]=1;
    if(B[i+2]==1 && B[i+5]==1) B[i]=1;
    if(B[i+3]==1 && B[i+4]==1) B[i]=1;
  }
  if(B[1]==1) cout<<"No"<<endl;
  else cout<<"Yes"<<endl;
  
  return 0;
}