#include<bits/stdc++.h>
using namespace std;
using ll = long long;

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    int y, m, d, k;
    cin >> m >> d >> k;
    string s;
    vector<int> da = {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
    for(int i = 0; i < 7; i++){
        s += to_string(m);
        if(m < 10)s += '0';
        s += to_string(d);
        if(d < 10)s += '0';
        d++;
        if(d > da[m - 1]){
            m++;
            if(m == 13)m = 1;
            d = 1;
        }
    }
    sort(s.begin(), s.end());
    s.erase(unique(s.begin(), s.end()), s.end());
    cout << (s.size() >= k ? "Yes" : "No") << '\n';
}