from datetime import datetime
y, m, d = map(int, input().split())
d = datetime(y, m, d)
d1 = datetime(1989, 1, 8)
d2 = datetime(2019, 4, 30)
print("Yes" if d1 <= d <= d2 else "No")