m, d, k = io.read("*n", "*n", "*n")
t = {31,28,31,30,31,30,31,31,30,31,30,31}
c = 0
z = ""
for i = 1, 7 do
  z = z .. string.format("%02d", m) .. string.format("%02d", d)
  -- print(z)
  if t[m] == d then
    d = 1
    m = m + 1
    if m == 13 then m = 1 end
  else
    d = d + 1
  end
end
y = 0
for j = 0, 9 do
  if z:find(tostring(j)) then y = y + 1 end
end
print(k <= y and "Yes" or "No")