function Main() {
  var input = require("fs").readFileSync("/dev/stdin", "utf-8").trim();
  var items = input.split(" ").map(function(item) { return parseInt(item); });
  items.sort();
  var target = [5, 5, 7];
  var flag = true;
  for (var i = 0; i < 3; ++i) {
    if (items[i] != target[i]) {
      flag = false;
      break;
    }  
  }
  console.log(flag ? "YES" : "NO");
}

Main();
