#include <bits/stdc++.h>
using namespace std;
typedef long long int ll;
typedef unsigned long long int ull;

int main(){
	cin.tie(nullptr);
	ios::sync_with_stdio(false);
	ll n; cin >> n;
	int k; cin >> k;
	set<ll> st;
	for(int i=0;i<k;i++){
		ll a; cin >> a;
		st.insert(a);
	}
	bool ok=true;
	while(1){
		bool f=false;
		vector<ll> v;
		if(st.find(1)!=st.end()){
			ok=false; break;
		}
		for(ll p:st){
			for(int u=1;u<=3;u++){
				if(p>u and st.find(p-u+7-u)!=st.end()){
					f=true;
					v.push_back(p-u+7-u);
				}
			}
		}
		for(ll vv:v)st.insert(vv);
		for(ll p:st){
			if(p>8){
				bool ff=true;
				for(int i=0;i<6;i++){
					if(st.find(p+i)==st.end()){
						ff=false;
						break;
					}
				}
				if(ff){
					ok=false;
					f=false;
				}
			}
		}
		if(!f)break;
	}
	if(ok)printf("Yes\n");
	else printf("No\n");
}