#include<iostream>
using namespace std;
long N;
int K;
long A[101];
bool ng[110];
main()
{
	cin>>N>>K;
	for(int i=0;i<K;i++)
	{
		cin>>A[i];
		if(A[i]<100)ng[A[i]]=true;
	}
	for(int k=100;--k;)
	{
		bool now=false;
		for(int i=1;i<=3;i++)now=now||ng[k+i]&&ng[k+7-i];
		ng[k]=now;
	}
	bool out=ng[1];
	for(int i=0;i<K;i++)for(int j=i+1;j<K;j++)
	{
		long a=A[i],b=A[j];
		if(b-a==5)
		{
			long t=a-1;
			b=a;
			a=t;
			if(t==1)out=true;
		}
		if(b-a==1)
		{
			long t=a-3;
			b=a;
			a=t;
			if(t==1)out=true;
		}
		if(a<1)continue;
		if(b-a==3)
		{
			if(a>=6||a==4||a==3)out=true;
		}
	}
	cout<<(out?"No":"Yes")<<endl;
}