M,D,K=map(int,input().split())
import datetime
a=datetime.datetime(year=2022,month=M,day=D)
T=set()
for i in range(7):
	for s in str(a.month).zfill(2):
		T.add(s)
	for s in str(a.day).zfill(2):
		T.add(s)
	a=a+datetime.timedelta(days=1)
if len(T)>=K:
	print("Yes")
else:
	print("No")