readlines.each{|line|
  c1, c2, c3 = line.split.map(&:to_i)
  sum = c1 + c2
  arr = [1,2,3,4,5,6,7,8,9,10]
  arr -= [c1, c2, c3]
  count = 0
  7.times{|i|
    if sum + arr[i] <= 20
      count += 1
    else
      break
    end
  }
  if count > 3
    puts "YES"
  else
    puts "NO"
  end
}