#include <stdio.h>

int main () {
  int m = 0;
  int d = 0;
  int k = 0;
  
  int res = 0;
  
  int ap[10] = {};
  int cnt = 0;
  
  res = scanf("%d", &m);
  res = scanf("%d", &d);
  res = scanf("%d", &k);
  
  for (int i = 0; i < 7; i++) {
    ap[m%10] = 1;
    ap[m/10] = 1;
    ap[d%10] = 1;
    ap[d/10] = 1;
    d++;
    if ((m == 2 && d > 28) || ((m == 4 || m == 6 || m == 9 || m == 11) && d > 30) || d > 31) {
      m++;
      d = 1;
    }
  }
  
  for (int i = 0; i < 10; i++) {
    cnt += ap[i];
  }
  
  if (cnt < k) {
    printf("No\n");
  } else {
    printf("Yes\n");
  }
  
  return 0;
}