N, M, L = gets.split.map &:to_i
puts 7 - (12 - 9) >= 3 ? :YES: :NO