#include<bits/stdc++.h>
using namespace std;
#define rep(i,n) for (long long i=0;i<(long long)(n);i++)
#define all(v) v.begin(),v.end()
using ll=long long;
using pll=pair<ll,ll>;
using tll=tuple<ll,ll,ll>;
const ll INF=(1ll<<60);
template<class T> void chmin(T &a,T b){
    if(a>b){
        a=b;
    }
}
template<class T> void chmax(T &a,T b){
    if(a<b){
        a=b;
    }
}
int main(){
    ll m,d,k;
    cin >> m >> d >> k;
    vector<ll> month(14,31);
    month[2]=28;
    month[4]=30;
    month[6]=28;
    month[9]=28;
    month[11]=28;
    set<ll> st;
    for(ll i=d;i<=d+7-1;i++){
        ll nowm=m,nowd=i;
        if(month[m]<i){
            nowm=(m+1)%12;
            nowd=i-month[m];;
        }
        st.insert(nowm/10);
        st.insert(nowm%10);
        st.insert(nowd/10);
        st.insert(nowd%10);
    }
    if(k<=st.size()) cout << "Yes" << endl;
    else cout << "No" << endl;
}