#include<bits/stdc++.h> 
using namespace std;
typedef long long ll;
template<typename T1,typename T2> bool chmin(T1 &a,T2 b){if(a<=b)return 0; a=b; return 1;}
template<typename T1,typename T2> bool chmax(T1 &a,T2 b){if(a>=b)return 0; a=b; return 1;}
ll dx[4]={0,1,-1,0};
ll dy[4]={1,0,0,-1};



signed main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout << fixed << setprecision(20);


    ll n,k;
    cin>>n>>k;
    ll a[k];
    map<ll,ll> mp;
    for(int i=0;i<k;i++){
        cin>>a[i];
        mp[a[i]] = 1;
    }
    bool pos = 1;
    for(int i=0;i<k;i++){
        for(int d=1;d<=6;d++){
            ll now = a[i] - d;
            if(now<=0)continue;
            ll nx = now + 7 - d;
            if(mp.count(nx) && min(a[i],nx)%2)pos=false;
        }
    }
    if(pos)cout << "Yes\n";
    else cout << "No\n";
}