#include<bits/stdc++.h>

int M, D, K;
int tab[13] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
int cnt[10];

int main() {
    scanf("%d%d%d", &M, &D, &K);
    for (int i = 0; i < 7; ++i) {
        int m = M, d = D;
        ++cnt[m % 10], m /= 10;
        ++cnt[m % 10], m /= 10;
        ++cnt[d % 10], d /= 10;
        ++cnt[d % 10], d /= 10;
        D += 1; if (D > tab[M]) M = M % 12 + 1, D = 1;
    }
    int tot = 0;
    for (int i = 0; i < 10; ++i) tot += (cnt[i] > 0);
    if (tot >= K) puts("Yes");
    else puts("No");
}