let make_list f t step =
  let rec make_list_inner c t lst =
    if c >= t then lst else make_list_inner (c+step) t (c::lst)
  in
  List.rev (make_list_inner f t [])

let print_list str list = Printf.printf "%s: [ " str; List.iter (fun (q,r) -> Printf.printf "(%d, %d); " q r) list; Printf.printf "]\n"

let solve a b c = match (a,b,c) with
    (5,7,5) -> "YES"
  | (7,5,5) -> "YES"
  | (5,5,7) -> "YES"
  | _ -> "NO"

let () =
  let rec read () =
    try let ans = (Scanf.scanf "%d %d %d\n" solve ) in
        Printf.printf "%s\n" ans
    with End_of_file -> ()
  in
  read ()
;;
