let r_long () = Int64.of_int (Scanf.scanf " %d" (fun x -> x)) ;;
let r_int () = Scanf.scanf " %d" (fun x -> x) ;;
let a=r_int() in
let b=r_int() in
let c=r_int() in
if (a=7 && b=5 && c=5) || (a=5 && b=7 && c=5) || (a=5 && b=5 && c=7) then
begin
print_string "YES";
end
else
begin
print_string "NO";
end
;
print_newline();
