yesOrNo :: Int -> Int -> Int -> String
yesOrNo 5 5 7 = "YES"
yesOrNo 5 7 5 = "YES"
yesOrNo 7 5 5 = "YES"
yesOrNo _ _ _ = "NO"

main :: IO ()
main = do
    [a, b, c] <- (map read . words) <$> getLine
    putStrLn $ yesOrNo a b c
