#include<cstdio>
#include<bitset>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); ++i)
int days_of_month[13] = {0,31,28,31,30,31,30,31,31,30,31,30,31};
bitset<10> included;
int main(){
    int M, D, K;
    scanf("%d %d %d", &M, &D, &K);
    auto to_digit = [&](int x){
        included.set(x/10);
        included.set(x%10);
    };
    rep(_,7){
        to_digit(M);
        to_digit(D);
        if(++D > days_of_month[M]){
            D = 1;
            if(M == 12) M = 1;
        }
    }
    printf((int)included.count() >= K ? "Yes\n" : "No\n");
}