#include <stdio.h>
#include <time.h>

int main() {
  int y, m, d;
  scanf("%d %d %d", &y, &m, &d);
  struct tm tm = { 0, 0, 0, d, m-1, y-1900 }; 

  time_t time = mktime(&tm)/86400;

  printf("%s\n", time>=6946 && time <=18015 ? "Yes": "No");
  return 0;
}