#include <bits/stdc++.h> using namespace std; typedef long long int ll; typedef pair<ll,ll> P; typedef vector<ll> VI; typedef vector<VI> VVI; #define REP(i,n) for(int i=0;i<(n);i++) #define ALL(v) v.begin(),v.end() template<typename T> bool chmax(T &x, const T &y) {return (x<y)?(x=y,true):false;}; template<typename T> bool chmin(T &x, const T &y) {return (x>y)?(x=y,true):false;}; constexpr ll MOD=998244353; constexpr ll INF=2e18; int main(){ int m, d, k; cin >> m >> d >> k; VI x={31,28,31,30,31,30,31,31,30,31,30,31}; set<int> s; REP(_,7){ s.insert(m/10); s.insert(m%10); s.insert(d/10); s.insert(d%10); if(d++==x[m-1]){ d=1; if(m++==12) m=1; } } if((int)s.size()>=k) cout << "Yes" << endl; else cout << "No" << endl; return 0; }