#include <bits/stdc++.h>
#include<iostream>
#include<map>
#include<vector>
#include <algorithm>
#include<math.h>
#include <iomanip>
#include<set>
#include <numeric>
#include<string>
using ll = long long;
using namespace std;

int main()
{
    ll m, d, k, cnt = 0;
    cin >> m >> d >> k;
    vector<int> dd = {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}, v(10);
    for (int i = 0; i < 7; i++){
        int td = d + i;
        if (td > dd[m-1]){
            td -= dd[m-1];
            m++;
        }
        if (m == 13) m = 1;
        if (m < 10) {
            v[0]++;
            v[m]++;
        } else {
            v[1]++;
            v[m%10]++;
        }
        if (td < 10){
            v[0]++;
            v[td%10]++;
        } else if (td < 20){
            v[1]++;
            v[td%10]++;
        } else if (td < 30){
            v[2]++;
            v[td%10]++;
        } else {
            v[3]++;
            v[td%10]++;
        }
    }
    for (int i = 0; i < 10; i++){
        if (v[i]) cnt++;
    }
    cout << ((cnt >= k) ? "Yes" : "No") << endl; 
}