{-# LANGUAGE ScopedTypeVariables #-}

import qualified Data.List as List

main :: IO ()
main = do
    ns :: [Int] <- List.sort . map read .words <$> getLine
    putStrLn $ if ns == [5,5,7] then "YES" else "NO"