#include <iostream>
#include <set>

using namespace std;

int month[12] = {31,28,31,30,31,30,31,31,30,31,30,31};

int main(){
  int m,d,k;cin>>m>>d>>k;
  set<int> A;

  for(int i = 0; 7 > i; i++){
    if(m < 10){
      A.insert(0);
    }else{
      A.insert(1);
    }
    A.insert(m%10);

    if(d < 10){
      A.insert(0);
    }else{
      A.insert(d/10);
    }
    A.insert(d%10);

    d++;
    if(d > month[m-1]){
      m++;
      if(m==13)m=1;
      d=1;
    }
  }

  if(A.size() >= k)cout << "Yes" << endl;
  else cout << "No" << endl;
}