#if defined(LOCAL)
#include<stdc++.h>
#else
#include<bits/stdc++.h>
#endif
#pragma GCC optimize("Ofast")
//#pragma GCC target("avx2")
#pragma GCC optimize("unroll-loops")
using namespace std;
//#include<boost/multiprecision/cpp_int.hpp>
//#include<boost/multiprecision/cpp_dec_float.hpp>
//namespace mp=boost::multiprecision;
//#define mulint mp::cpp_int
//#define mulfloat mp::cpp_dec_float_100
struct __INIT{__INIT(){cin.tie(0);ios::sync_with_stdio(false);cout<<fixed<<setprecision(15);}} __init;
//#define INF (1<<30)
#define LINF (lint)(1LL<<56)
#define MINF (lint)(2e18)
#define endl "\n"
#define rep(i,n) for(lint (i)=0;(i)<(n);(i)++)
#define reprev(i,n) for(lint (i)=(n-1);(i)>=0;(i)--)
#define flc(x) __builtin_popcountll(x)
#define pint pair<int,int>
#define pdouble pair<double,double>
#define plint pair<lint,lint>
#define fi first
#define se second
#define all(x) x.begin(),x.end()
//#define vec vector<lint>
#define nep(x) next_permutation(all(x))
typedef long long lint;
int dx[8]={1,1,0,-1,-1,-1,0,1};
int dy[8]={0,1,1,1,0,-1,-1,-1};
const int MAX_N=1e4;
template<class T>bool chmax(T &a,const T &b){if(a<b){a=b;return 1;}return 0;}
template<class T>bool chmin(T &a,const T &b){if(b<a){a=b;return 1;}return 0;}
//vector<int> bucket[MAX_N/1000];
//onstexpr int MOD=1000000007;
constexpr int MOD=998244353;
/*#include<atcoder/all>
using namespace atcoder;
typedef __int128_t llint;*/

int month[14]={0,1,2,3,4,5,6,7,8,9,10,11,12,1};
int day[14]={0,31,28,31,30,31,30,31,31,30,31,30,31,31};

int main(void){
    int M,D,K;
    cin >> M >> D >> K;
    int cnt[10]={};
    rep(i,7){
        string m=to_string(M);
        if(m.length()==1) m="0"+m;
        string d=to_string(D);
        if(d.length()==1) d="0"+d;
        rep(j,2){
            cnt[m[j]-'0']++;
            cnt[d[j]-'0']++;
        }
        D++;
        if(D>day[M]){
            D=1;
            M++;
        }
        if(M>12) M=1;
    }
    int kind=0;
    rep(i,10) if(cnt[i]>0) kind++;
    if(kind>=K) cout << "Yes" << endl;
    else cout << "No" << endl;
}