def next_day(m,d):
  lim=[0,31,28,31,30,31,30,31,31,30,31,30,31]
  if lim[m]==d:
    m+=1
    d=1
    if m==13:
      m=1
    return m,d
  else:
    return m,d+1

m,d,k=map(int,input().split())
ans=set()
for _ in range(7):
  for j in str(m)+str(d):
    ans.add(j)
  if len(str(m)+str(d))!=4:
    ans.add('0')
  m,d=next_day(m,d)

if len(ans)>=k:
  print('Yes')
else:
  print('No')