#include <iostream> // cout, endl, cin
#include <string> // string, to_string, stoi
#include <vector> // vector
#include <algorithm> // min, max, swap, sort, reverse, lower_bound, upper_bound
#include <utility> // pair, make_pair
#include <tuple> // tuple, make_tuple
#include <cstdint> // int64_t, int*_t
#include <cstdio> // printf
#include <map> // map
#include <queue> // queue, priority_queue
#include <set> // set
#include <stack> // stack
#include <deque> // deque
#include <unordered_map> // unordered_map
#include <unordered_set> // unordered_set
#include <bitset> // bitset
#include <cctype> // isupper, islower, isdigit, toupper, tolower
#include <iomanip>//fixed,setprecision
//#include <limits.n>//INT_MAX
//#include <math.n>//M_PI
#include <random>
#include <regex> // 正規表現
#include <time.h>
//#include <bits/stdc++.h>
using namespace std;
//#include <atcoder/all>
//using namespace atcoder;
//using mint = modint1000000007;
//using mint = modint998244353;
//using mint=modint;
 
template <typename T> bool chmax(T &u, const T z) { if (u < z) {u = z; return true;} else return false; }
template <typename T> bool chmin(T &u, const T z) { if (u > z) {u = z; return true;} else return false; }
#define ll long long
#define rep(i, n) for (ll i = 0; i < (ll)(n); i++)
//typedef pair<int, int> P;
//typedef pair<ll,ll>P;
//typedef pair<int, P> q;

int main(){
  int m,d,k;
  cin>>m>>d>>k;
  m*=100;
  int sum=m+d;
  map<char,int>mp;
  rep(i,7){
    string s=to_string(sum);
    if(s.size()==3)mp['0']++;
    rep(j,s.size())mp[s[j]]++;
    if(sum/100==2&&sum%100==28){
      sum=301;
    }else if((sum/100==4||sum/100==6||sum/100==9||sum/100==11)&&(sum%100==30)){
      sum+=100;
      sum-=30;
      sum+=1;
    }else if(sum/100==12&&sum%100==31){
      sum=101;
    }else if((sum/100==1||sum/100==3||sum/100==5||sum/100==7||sum/100==8||sum/100==10||sum/100==12)&&(sum%100==31)){
      sum+=100;
      sum-=31;
      sum+=1;
    }else{
      sum++;
    }
  }
  //for(auto p:mp)cout<<p.first<<" ";
  //cout<<"size"<<mp.size()<<endl;
  if(mp.size()>=k)cout<<"Yes"<<endl;
  else cout<<"No"<<endl;
  return 0;
}