#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;

int M, D, K;
int days[12] = {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
int cnt[10];

int main() {
  cin >> M >> D >> K;
  int m, d;
  for (int i = 0; i < 7; i++) {
    m = M, d = D + i;
    if (days[M - 1] < d) {
      m = (m + 1) % 12;
      d = d - days[M - 1];
    }
    char mmdd[5];
    sprintf(mmdd, "%02d%02d", m, d);
    for (int j = 0; j < 4; j++) {
      cnt[mmdd[j] - '0']++;
    }
  }
  int res = 0;
  for (int i = 0; i < 10; i++) {
    if (cnt[i] > 0) res++;
  }
  cout << (res >= K ? "Yes": "No") << endl;
  return 0;
}