{-# LANGUAGE OverloadedStrings #-}
module Main where

import Prelude hiding (putStrLn, getLine)
import Data.List
import Data.Text
import Data.Text.IO

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