def CardGame( c1, c2, c3 )
	cards = Array.new
	1.upto( 10 ){ |n|
		cards << n
	}
	cards.delete( c1 )
	cards.delete( c2 )
	cards.delete( c3 )

	mynum = c1 + c2
	count = 0
	cards.each{ |n|
		if mynum + n <= 20
			count += 1
		end
	}

	#p count
	if count >= 4 
		return "YES"
	else
		return "NO"
	end
end

answers = Array.new
while line = $stdin.gets
	nums = line.chomp.split( /\s/ ).map{ |i| i.to_i }
	answers << CardGame( nums[ 0 ], nums[ 1 ], nums[ 2 ] )
end
answers.each{ |a| puts a }
