c1, c2, c3 = gets.split.map(&:to_i)
cnt = 0
for i in 1..10 do
  unless i == c1 || i == c2 || i == c3 then
  	if c1 + c2 + i <= 20 then
  	  cnt += 1
    end
  end
end
if cnt >= 4 then
  puts "YES"
else
  puts "NO"
end