#include<iostream>
#include<vector>
#include <algorithm>

using namespace std;

using ll = long long;
using ull = unsigned long long;

int main(){
 ull n;
 int k;
 cin >> n >> k;
 vector<ull> a(k + 1 , 0);

 for(int i = 1; i <= k; i++){
  cin >> a[i];
 }
 sort(a.begin() , a.end());
 vector<int> check(n + 50 , 0);

 for(int i = 1; i <= k; i++){
  check[a[i]] = 1;
 }
 
 for(ull i = n; i >= 0; i--){
   if(check[i] == 1)continue;
   if(check[i + 3] && check[i + 4]) check[i] = 1;
   if(check[i + 1] && check[i + 6]) check[i] = 1;
   if(check[i + 2] && check[i + 5]) check[i] = 1;
 }

 if(check[1] == 1)cout << "No" << endl;
 else cout << "Yes" << endl;

return 0;

}