require 'date'

M, D, K = gets.split.map(&:to_i)

start_at = Date.new(2022, M, D)
end_at = start_at + 6
res = []

(start_at..end_at).each do |date|
  str = "%02d%02d" % [date.month, date.day]
  res |= str.chars
end

if res.size >= K
  puts 'Yes'
else
  puts 'No'
end