#include<bits/stdc++.h>

using namespace std;

vector<int> ds={0,31,28,31,30,31,30,31,31,30,31,30,31};

int main(){
  ios::sync_with_stdio(false);
  cin.tie(nullptr);

  vector<int> bk(10,0);
  int m,d,k;
  cin >> m >> d >> k;
  for(int i=0;i<7;i++){
    bk[m/10]++;
    bk[m%10]++;
    bk[d/10]++;
    bk[d%10]++;

    d++;
    if(ds[m]<d){
      m++;d=1;
      if(m==13){m=1;}
    }
  }
  for(auto &nx : bk){k-=min(1,nx);}
  if(k<=0){cout << "Yes\n";}else{cout << "No\n";}
  return 0;
}