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

template<typename T>bool chmax(T &a, const T& b){if(a<b){a=b;return true;}return false;}
template<typename T>bool chmin(T &a, const T& b){if(a>b){a=b;return true;}return false;}

int main(){
    int m,d,k;cin>>m>>d>>k;
    set<int> se;
    if(m==4||m==6||m==9||m==11){
        se.insert(m/10);
        se.insert(m%10);
        for(int i=0;i<7;++i){
            if(d+i>30){
                se.insert((d+i-30)/10);
                se.insert((d+i-30)%10);
                if(m+1>12){
                    se.insert((m+1-12)/10);
                    se.insert((m+1-12)%10);
                }
                else{
                    se.insert((m+1)/10);
                    se.insert((m+1)%10);
                }
            }
            else{
                se.insert((d+i)/10);
                se.insert((d+i)%10);
            }
            
        }
    }
    else if(m==2){
        se.insert(m/10);
        se.insert(m%10);
        for(int i=0;i<7;++i){
            if(d+i>28){
                se.insert((d+i-28)/10);
                se.insert((d+i-28)%10);
                if(m+1>12){
                    se.insert((m+1-12)/10);
                    se.insert((m+1-12)%10);
                }
                else{
                    se.insert((m+1)/10);
                    se.insert((m+1)%10);
                }
            }
            else{
                se.insert((d+i)/10);
                se.insert((d+i)%10);
            }
            
        }
    }
    else{
        se.insert(m/10);
        se.insert(m%10);
        for(int i=0;i<7;++i){
            if(d+i>31){
                se.insert((d+i-31)/10);
                se.insert((d+i-31)%10);
                if(m+1>12){
                    se.insert((m+1-12)/10);
                    se.insert((m+1-12)%10);
                }
                else{
                    se.insert((m+1)/10);
                    se.insert((m+1)%10);
                }
            }
            else{
                se.insert((d+i)/10);
                se.insert((d+i)%10);
            }
            
        }
    }
    int cun=0;
    for(int i=0;i<10;++i){
        if(se.count(i)){
            cun++;
        }
    }
    if((cun>=k))cout<< "Yes" <<endl;
    else cout<<"No"<<endl;

}