import Data.List
main = interact $ unlines . map (card_game . map read . words) . lines
card_game [c1,c2,c3]
 | (length $ takeWhile (<= 20-(c1+c2)) ([1..10]\\[c1,c2,c3])) >= 4 = "YES"
 | otherwise = "NO"