import Data.List (sort)

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