#include <bits/stdc++.h>
//#include <chrono>
//#pragma GCC optimize("Ofast")
using namespace std;
#define reps(i,s,n) for(int i = s; i < n; i++)
#define rep(i,n) reps(i,0,n)
#define Rreps(i,n,e) for(int i = n - 1; i >= e; --i)
#define Rrep(i,n) Rreps(i,n,0)
#define ALL(a) a.begin(), a.end()
#define fi first
#define se second

using ll = long long;
using vec = vector<ll>;
using mat = vector<vec>;

ll N,M,H,W,Q,K,A,B;
string S;
typedef pair<ll, ll> P;
const ll INF = (1LL<<58);

int main() {
    cin>>N>>K;
    vec a(K), dp(100000, 0);
    rep(i, K) {
        cin>>a[i];
        if(a[i] < 100000) dp[a[i]] = 1;
    }
    rep(i, K) rep(j, K){
        if(a[i] > 10000 && a[j] > 10000 && abs(a[i] - a[j])%2 == 1 && abs(a[i] - a[j]) <= 5){
            cout<<"No"<<endl;
            return 0;
        }
    }
    Rrep(i, 50000){
        dp[i] = dp[i] || (dp[i+1]&dp[i+6]) || (dp[i+2]&dp[i+5]) || (dp[i+3]&dp[i+4]);
    }
    cout<<(dp[1] ? "No" : "Yes")<<endl;
}