m, d, k = map(int, input().split())
s = set()
for i in range(7):
  m = str(m)
  d = str(d)
  ms = "0" * (2 - len(m)) + m
  ds = "0" * (2 - len(d)) + d
  s |= set(map(str, ms+ds))
  m = int(m)
  d = int(d)
  d += 1
  if d == 29 and m == 2:
    m += 1
    d = 1
  elif d == 31 and m in [4, 6, 9, 11]:
    m += 1
    d = 1
  elif d == 32 and m in [1, 3, 5, 7, 8, 10, 12]:
    m += 1
    d = 1
print("Yes" if len(s) >= int(k) else "No")