from bisect import bisect_left
days = [0, 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31]

date = []
for i in range(1, 13):
    for j in range(1, days[i] + 1):
        memo = str(i).zfill(2) + '/' + str(j).zfill(2)
        date.append(memo)

M, D, K = map(int, input().split())
start = str(M).zfill(2) + '/' + str(D).zfill(2)
pos = bisect_left(date, start)

material = set()
for i in range(7):
    day = date[pos]
    for s in day:
        if s != '/':
            material.add(s)

    pos = (pos + 1)%365

if len(material) >= K:
    print('Yes')
else:
    print('No')