import datetime
import collections
M,D,K = map(int, input().split())
date = datetime.datetime(2022, M, D)
C = collections.Counter()
for _ in range(7):
    C+=collections.Counter(list(date.strftime('%m%d')))
    date += datetime.timedelta(days=1)
if len(C)>=K:
    print('Yes')
else:
    print('No')