-- Atcoder Beginner Contest 042 A - 和風いろはちゃんイージー / Iroha and Haiku (ABC Edition)

import Data.List

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