open Scanf
open Printf

let () = scanf "%d %d %d" (fun a b c ->
  if a = 7 || b = 5 || c = 5 then "YES"
  else if a = 5 || b = 7 || c = 5 then "YES"
  else if a = 5 || b = 5 || c = 7 then "YES"
  else "NO"
  ) |> printf "%s\n"