M,D,K=map(int,input().split()) days=[31,28,31,30,31,30,31,31,30,31,30,31] s=0 sdays = [0] for d in days: s+=d sdays.append(s) d = sdays[M-1]+D-1 st=set() def md(d): d%=365 for i in range(13): if d<sdays[i]: m=i d=d-sdays[i-1]+1 return f"{m:02}{d:02}" for x in range(7): for s in md(d+x): st.add(s) print("Yes" if len(st)>=K else "No")