start = {"y":1989,"m":1,"d":8}
end = {"y":2019,"m":4,"d":30}


Y,M,D = map(int,input().split())
is_heisei = start["y"] < Y < end["y"]
if not is_heisei:
    if Y >= start["y"]:
        if start["y"] == Y:
            m = start["m"]
            if m < M:
                is_heisei = True
            elif m == M:
                is_heisei = start["d"] <= D
        elif end["y"] == Y:
            m = end["m"]
            if m > M:
                is_heisei = True
            elif m == M:
                is_heisei = end["d"] >= D

print("Yes" if is_heisei else "No")