function Main (input) {
  input = input.split("\n")[0].split(" ").map(Number).sort((a, b) => b > a);
  console.log(input[0] == 7 && input[1] == 5 && input[2] == 5 ? "YES" : "NO");
}

Main(require("fs").readFileSync("/dev/stdin", "utf8"));