n = gets
until n.nil?
 x = n.split
 a = x[0].to_i
 b = x[1].to_i
 c = x[2].to_i
 
 card = [1,2,3,4,5,6,7,8,9,10]
 mysum = a + b
 leftcard = card.reject{|k| k == a || k == b || k == c}
 wantcard = leftcard.count{|k| mysum + k <= 20}
 if wantcard >= 4
 puts "YES"
 else
 puts "NO"
 end
 
 n = gets
end
