from datetime import date, timedelta
m, d, k = map(int, input().split())
cur_d = date(2022, m, d)
td = timedelta(days=1)
f = '%m%d'
a = []
for i in range(7):
    a.append((cur_d+i*td).strftime(f))
s = set()

for aa in a:
    for aaa in aa:
        s.add(aaa)

if len(s) >= k:
    print("Yes")
else:
    print("No")