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

int main(){
  long long n;
  cin >> n;
  int k;
  cin >> k;
  vector<long long>a(k);
  for(int i=0;i<k;i++){
    cin >> a[i];
  }
  for(int i = 0;i < k - 1; i++){
    int d = a[i+1] - a[i];
    if(a[i] >= 20 && (d == 1 || d == 3 || d == 5)){
      cout << "No" << endl;
      return 0;
    }
  }
  vector<bool>ng(50);
  for(int i = 0; i < k; i++){
    if(a[i] <= 30)ng[a[i]] = true;
  }
  for(int i = 30; i >= 0; i--){
    for(int j = 1; j <= 3; j++){
      if(ng[i+j] & ng[i+7-j]){
        ng[i] = true;
      }
    }
  }
  if(ng[1])cout << "No" << endl;
  else cout << "Yes" << endl;
}