while t = gets
	cards = Array.new(11,1)
	a,b,c = t.split.map &:to_i
	cards[a] = 0
	cards[b] = 0
	cards[c] = 0
	r = 20 - a - b
	count = 0
	r = 10 if r > 10
	r.times { |i|
		count += cards[i + 1]
	}
	puts ["NO", "YES"][count/4]
end