# import sys; input = sys.stdin.buffer.readline
# sys.setrecursionlimit(10**7)
from collections import defaultdict
con = 10 ** 9 + 7; INF = float("inf")

def getlist():
	return list(map(int, input().split()))

#処理内容
def main():
	Y, M, D = getlist()
	if Y < 1989:
		print("No")
	elif Y == 1989:
		if M == 1:
			if D < 8:
				print("No")
			else:
				print("Yes")
		else:
			print("Yes")
	elif Y < 2019:
		print("Yes")
	elif Y == 2019:
		if M <= 4:
			print("Yes")
		else:
			print("No")
	else:
		print("No")




if __name__ == '__main__':
	main()