#pragma region Macros

#include <bits/extc++.h>
using namespace std;
using namespace __gnu_pbds;
// using namespace __gnu_cxx;

#define TO_STRING(var) # var
#define pb emplace_back
#define int ll
#define endl '\n'

using ll = long long;
using ld = long double;
const ld PI = acos(-1);
const ld EPS = 1e-10;
const int INF = 1 << 30;
const ll INFL = 1LL << 62;
const int MOD = 998244353;
// const int MOD = 1000000007;

int ceil(int x, int y) {return (x > 0 ? (x + y - 1) / y : x / y);}
int POW(int x, int y) {
    if (y != (int)(y) or y < 0 or x != 0 && x != 1 && y > 64) {cout << "Error" << endl;return 0;}
    if (y == 0) return 1;
    if (y % 2 == 0) return POW(x * x, y / 2);
    return x * POW(x, y - 1);
}

__attribute__((constructor))
void constructor() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cout << fixed << setprecision(15);
}

#pragma endregion

signed main() {
    int M, D, K;
	cin >> M >> D >> K;

	int maxD = 30;
	if (M == 1 or M == 3 or M == 5 or M == 7 or M == 8 or M == 10 or M == 12) {
		maxD = 31;
	} else if (M == 2) maxD = 28;

	set<int> st;
	for (int i = 0; i < 7; i++) {
		int temp = D;
		st.insert(temp % 10);
		temp /= 10;
		st.insert(temp % 10);
		D++;

		temp = M;
		st.insert(temp % 10);
		temp /= 10;
		st.insert(temp % 10);

		if (M == 12 && D > maxD) {
			M = 1;
			D = 1;
		} else if (D > maxD) {
			M++;
			D = 1;
		}
	}

	if (st.size() >= K) cout << "Yes" << endl;
	else cout << "No" << endl;
}