#include <stdio.h>

int main()
{
	int M, D, K;
	scanf("%d %d %d", &M, &D, &K);
	
	int i, x, X = M * 100 + D, num[10] = {};
	for (i = 0; i < 7; i++, X++) {
		switch (X / 100) {
		case 4:
		case 6:
		case 9:
		case 11:
			if (X % 100 == 31) X = (X / 100 + 1) * 100 + 1;
			break;
		
		case 1:
		case 3:
		case 5:
		case 7:
		case 8:
		case 10:
			if (X % 100 == 32) X = (X / 100 + 1) * 100 + 1;
			break;
		
		case 2:
			if (X % 100 == 29) X = (X / 100 + 1) * 100 + 1;
			break;
		
		case 12:
			if (X % 100 == 32) X = 101;
			break;
		}
		
		for (x = X; x > 0; x /= 10) num[x%10]++;
	}
	for (i = 0; i < 10; i++) if (num[i] > 0) K--;
	if (K <= 0) printf("Yes\n");
	else printf("No\n");
	fflush(stdout);
	return 0;
}