#include <iostream> #include<random> #include<utility> #include <vector> #include <regex> #include <map> #include<string> #include<queue> #include<math.h> #include<set> #include<cstring> #include<algorithm> #define pb push_back #define all(x) begin(x),end(x) #define gall(x) begin(x),end(x),greater<>() #define ll long long #define P pair<int,int> #define lP pair<ll,ll> #define bit(x,i) (x>>i&1) using namespace std; int main(){ vector<int> g(32); int m,d,k; cin>>m>>d>>k; g[m]++; g[d]++; set<char> st; for(int i=d;i<d+7;i++){ if(m==1 or m==3 or m==5 or m==7 or m==8 or m==10 or m==12) { if(i>=32) { g[(m+1)%12]++; g[i%31]++; } else g[i]++; } else if(m==4 or m==6 or m==9 or m==11){ if(i>=31){ g[m+1]++; g[i%30]++; } else g[i]++; } else{ if(i>=29){ g[m+1]++; g[i%28]++; } else g[i]++; } } for(int i=1;i<=31;i++){ if(g[i]>0){ st.insert((char)i/10+48); st.insert((char)i%10+48); } } if(st.size()>=k) cout<<"Yes"<<endl; else cout<<"No"<<endl; return 0; }