#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define ALL(v) v.begin(),v.end()
typedef long long ll;
 
#include<bits/stdc++.h>
using namespace std;
 
int main(){
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  
  int m,d,k;
  cin>>m>>d>>k;
  set<int> s;
  int now=d;
  s.insert(m);
  for(int i=d;i<d+7;i++){
    if(m==1 || m==3 || m==5 || m==7 || m==8 || m==10 || m==12){
      if(i<=31) s.insert(i);
      else{
        s.insert(i%31);
        if(m==12) s.insert(1);
        else s.insert(m+1);
      }
    }
    else if(m==2){
      if(i<=28) s.insert(i);
      else{
        s.insert(i%28);
        s.insert(m+1);
      }
    }
    else{
      if(i<=30) s.insert(i);
      else{
        s.insert(i%30);
        s.insert(m+1);
      }
    }
  }
  set<char> S;
  for(auto t:s){
    string x=to_string(t);
    if(x.size()==1) S.insert('0');
    rep(i,(int) x.size()) S.insert(x[i]);
  }
  if(S.size()>=k) cout<<"Yes"<<endl;
  else cout<<"No"<<endl;
  
  return 0;
}