#include <bits/stdc++.h>
#define rep(i,n) for(int i = 0;i<n;i++)
#define yesif(x) cout << ((x) ? "Yes": "No") << endl
using namespace std;
string zeroLed2(int m){
    string ret = m < 10 ? "0" : "";
    ret += to_string(m);
    return ret;
}
string date_diff(int m, int d, int diff){
    int days_of_months[] = {0, 31,28,31,30,31,30,31,31,30,31,30,31};
    d += diff;
    if(d > days_of_months[m] ){
        d -= days_of_months[m];
        m++; 
    }
    return zeroLed2(m) + zeroLed2(d);
}
int main() {
    int m, d, k; cin >> m >> d >> k;
    string buf = "";
    int days = 7;
    while(days--) buf += date_diff (m, d, days);
    set<int> numKind;
    rep(i, buf.size()) numKind.insert(buf[i]);
    yesif(numKind.size()>=k);
    return 0;
}