import datetime
m, d, k = map(int, input().split())
d = datetime.date(2022, m, d)
dt = datetime.timedelta(days=1)
s = set()
for i in range(7):
    x = d + i * dt
    for c in f'{x.month:02d}' + f'{x.day:02d}':
        s.add(c)
print('Yes' if len(s) >= k else 'No')