open Batteries
open Printf
let () =
  let a,b,c = Scanf.scanf "%d %d %d " (fun a b c -> a,b,c) in

  let sorted = List.sort compare [a;b;c] in

  Printf.printf "%s\n" @@
  if sorted = [5;5;7] then "YES" else "NO"


