import datetime

M,D,K = map(int,input().split())

ans = [0]*10

nokori = 0

for i in range(7):
    Y = 2022

    tmp = datetime.datetime(Y,M,D+i)
    tmp2 = str(tmp)[5:7]
    tmp3 = str(tmp)[8:10]
    tmp4 = tmp2+tmp3
#    print("tmp4",tmp4)
    for ii,v in enumerate(tmp4):
        tmp5 = int(v)
        ans[tmp5]+=1

    if M == 12 and D+i == 31:
        nokori = 6-i
        break
    elif (M == 4 or M == 6 or M == 6 or M == 9 or M ==11) and D+i == 30:
        nokori = 6-i
        break
    elif (M == 1 or M == 3 or M == 5 or M == 7 or M == 8 or M == 10) and D+i == 31:
        nokori = 6-i
        break
    elif M == 2 and D+i == 28:
        nokori = 6-i
        break

if M == 12:
    M = 1
else:
    M+=1

D = 1

for i in range(nokori):
    Y = 2022
    tmp = datetime.datetime(Y,M,D+i)
    tmp2 = str(tmp)[5:7]
    tmp3 = str(tmp)[8:10]
    tmp4 = tmp2+tmp3
#    print("tmp4",tmp4)
    for ii,v in enumerate(tmp4):
        tmp5 = int(v)
        ans[tmp5]+=1

ans2 = 0
for ii,vv in enumerate(ans):
    if vv != 0:
        ans2+=1

if ans2 >=K:
    print("Yes") #ans
else:
    print("No") #ans