#include <bits/stdc++.h>
#define rep(i,n) for(int i = 0; i < (n); i++)
using namespace std;
using ll = long long;
using ld = long double;

int main(){
    cin.tie(0);
    ios::sync_with_stdio(0);
    
    int day[] = {-1, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
    int M,D,K; cin >> M >> D >> K;
    set<int> st;
    rep(d,7) {
        st.insert(M / 10);
        st.insert(M % 10);
        st.insert(D / 10);
        st.insert(D % 10);
        
        if(day[M] == D) {
            M++;
            D = 1;
        } else {
            D++;
        }
    }

    cout << (int(st.size()) >= K ? "Yes" : "No") << endl;
}