import datetime

m, d, k = map(int, input().split())
ok = [False] * 10
day = datetime.datetime(2022, m, d)
for i in range(7):
  s = day.strftime("%m/%d")
  for j in range(10):
    if str(j) in s:
      ok[j] = True
  day += datetime.timedelta(days = 1)
ans = ok.count(True) >= k
print("Yes" if ans else "No")