#include<bits/stdc++.h>
using namespace std;
using ll=long long;
#define rep(i,n) for(int i=0;i<n;i++)
#define rrep(i,n) for(int i=(n)-1;i>=0;i--)
#define all(v) v.begin(),v.end()
#define rall(v) v.rbegin(),v.rend()
template<class T> bool chmax(T &a, T b){if (a < b){a = b;return true;} else return false;}
template<class T> bool chmin(T &a, T b){if (a > b){a = b;return true;} else return false;}

int main(){
    ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
    int m,d,k;
    cin>>m>>d>>k;
    vector<bool>flag(10);
    rep(i,7){
        flag[m/10]=flag[m%10]=true;
        flag[d/10]=flag[d%10]=true;
        d++;
        if(m==2){
            if(d==29)m++,d=1;
        }else if(m==4||m==6||m==9||m==11){
            if(d==31)m++,d=1;
        }else{
            if(d==32)m++,d=1;
        }
        if(m==13)m=1;
    }
    int cnt=0;
    rep(i,10)if(flag[i])cnt++;
    if(cnt>=k)cout<<"Yes"<<"\n";
    else cout<<"No"<<"\n";
}