{-# LANGUAGE OverloadedStrings #-}
module Main where

import Prelude hiding (putStrLn, getLine, getContents)
import Data.List as L
import Data.Text as T
import Data.Text.IO

main :: IO ()
main = putStrLn . f =<< getLine
  where f x = if (sort $ splitOn " " x) == ["5", "5", "7"] then "YES" else "NO"