import Control.Monad
import Data.Maybe
import qualified Data.ByteString.Char8 as BS
import Data.List

readInt = fst . fromJust . BS.readInt
readIntList = map readInt . BS.words
getInt = readInt <$> BS.getLine
getIntList = readIntList <$> BS.getLine

main = getIntList >>= \x -> putStrLn $ if (== [[5, 5], [7]]) (group (sort x)) then "YES" else "NO"