ll n,a,b;
int k,y[200];
{
	rd(n,k,b);
	if(b<100){
		y[b]=1;
	}
	rep(k-1){
		a=b;
		rd(b);
		if(b<100){
			y[b]=1;
		}else{
			if(b-a==1||b-a==3||b-a==5){
				wt("No");
				exit(0);
			}
		}
	}
	rrep(i,100){
		y[i]|=y[i+1]&y[i+6]|y[i+2]&y[i+5]|y[i+3]&y[i+4];
	}
	wt(y[1]?"No":"Yes");
}