k = (1..10).to_a
while n = gets
c1,c2,c3 = n.split.map(&:to_i)
sum = c1 + c2
count = 0
count1 = 0
  for i in k
    if sum + i <= 20 && i != c3
      count += 1
    else
      count1 += 1
    end
  end
  if count >= 4
    puts "YES"
  else
    puts "NO"
  end
end
