#include <bits/stdc++.h>
using namespace std;
vector<int> day = {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
int main(){
  int M, D, K;
  cin >> M >> D >> K;
  vector<bool> used(10, false);
  for (int i = 0; i < 7; i++){
    used[M / 10] = true;
    used[M % 10] = true;
    used[D / 10] = true;
    used[D % 10] = true;
    D++;
    if (D > day[M - 1]){
      D = 1;
      M++;
      if (M == 13){
        M = 1;
      }
    }
  }
  int cnt = 0;
  for (int i = 0; i < 10; i++){
    if (used[i]){
      cnt++;
    }
  }
  if (cnt >= K){
    cout << "Yes" << endl;
  } else {
    cout << "No" << endl;
  }
}