#include<stdio.h>
int last_day(int m)
{
	if (m == 2)
		return 28;
	if (m == 4 || m == 6 || m == 9 || m == 11)
		return 30;
	else
		return 31;
}
int used[16];
int main()
{
	int m, d, k;
	scanf("%d %d %d", &m, &d, &k);
	int i;
	for (i = 0; i < 10; i++)
		used[i] = 0;
	for (i = 0; i < 7; i++)
	{
		used[m / 10]++;
		used[m % 10]++;
		used[d / 10]++;
		used[d % 10]++;
		d++;
		if (d > last_day(m))
		{
			d = 1;
			m++;
			if (m > 12)
				m = 1;
		}
	}
	int cnt = 0;
	for (i = 0; i < 10; i++)
		if (used[i] > 0)
			cnt++;
	if (cnt < k)
		printf("No\n");
	else
		printf("Yes\n");
	return 0;
}