#include #include #include #include #include #include #include #include #include #include #include #include #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 #define lP pair #define bit(x,i) (x>>i&1) using namespace std; int main(){ vector g(32); int m,d,k; cin>>m>>d>>k; g[m]++; g[d]++; set 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); st.insert((char)i%10); } } if(st.size()>=k) cout<<"Yes"<