import sys,datetime
input=lambda:sys.stdin.readline().rstrip()
M,D,K=map(int,input().split())
d=datetime.date(1,M,D)
S=set()
for i in range(7):
	S.add(d.day%10)
	S.add(d.day//10)
	S.add(d.month%10)
	S.add(d.month//10)
	d+=datetime.timedelta(days=1)
print(["Yes","No"][len(S)<K])