from datetime import datetime
Y, M, D = map(int, input().split())
StartDate = datetime(1989, 1, 8)
EndedDate = datetime(2019, 4, 30)
if StartDate <= datetime(Y, M, D) <= EndedDate:
  print("Yes")
else:
  print("No")