main = putStrLn . format . solve =<< parse

solve :: (Int, Int, Int) -> Bool
solve (5, 5, 7) = True
solve (5, 7, 5) = True
solve (7, 5, 5) = True
solve _ = False

format :: Bool -> String
format True = "YES"
format False = "NO"

parse :: IO (Int, Int, Int)
parse = (\[x, y, z] -> (x, y, z)) . map read . words <$> getLine
