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")