while num = gets do
  c1, c2, c3 = num.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
end