m,d,k = map(int,input().split())
dd = [31,28,31,30,31,30,31,31,30,31,30,31]
s = set()
s.add(m//10)
s.add(m%10)
s.add(d//10)
s.add(d%10)
for i in range(6):
  d += 1
  if dd[m-1] < d:
    m += 1
    d = 1
    if m == 13:
      m = 1
  s.add(m//10)
  s.add(m%10)
  s.add(d//10)
  s.add(d%10)
if len(s) >= k:
  print('Yes')
else:
  print('No')