#include<stdio.h>
int main()
{
	long long int n, k;
	scanf("%lld %lld", &n, &k);
	long long int i, j;
	long long int a[102];
	for (i = 0; i < k; i++)
		scanf("%lld", &a[i]);
	int v[20];
	for (i = 0; i < 20; i++)
		v[i] = 0;
	for (i = 0; i < k; i++)
	{
		for (j = i + 1; j < k; j++)
		{
			if (a[j] - a[i] == 1)
			{
				if (a[i] > 8)
				{
					printf("No\n");
					return 0;
				}
				v[a[i]] = v[a[j]] = 1;
			}
			if (a[j] - a[i] == 3)
			{
				if (a[i] > 5)
				{
					printf("No\n");
					return 0;
				}
				v[a[i]] = v[a[j]] = 1;
			}
			if (a[j] - a[i] == 5)
			{
				if (a[i] > 9)
				{
					printf("No\n");
					return 0;
				}
				v[a[i]] = v[a[j]] = 1;
			}
		}
	}
	for (j = 0; j < 20; j++)
	{
		for (i = 0; i < 12; i++)
		{
			if (v[i + 1] > 0 && v[i + 6] > 0)
				v[i] = 1;
			if (v[i + 2] > 0 && v[i + 5] > 0)
				v[i] = 1;
			if (v[i + 3] > 0 && v[i + 4] > 0)
				v[i] = 1;
		}
	}
	if (v[1] > 0)
		printf("No\n");
	else
		printf("Yes\n");
	return 0;
}