function Main(input) {
  // 入力
  input = input.split(" ");
	//input = input.split("\n");
	//tmp = input[1].split(" ");
	var a = parseInt(input[0], 10);
	var b = parseInt(input[1], 10);
  var c = parseInt(input[2], 10);
  var ans = "";

  // 計算
  if (a === 5 && b === 5 && c === 7) {
    ans = "YES";
  } else if (a === 5 && b === 7 && c === 5) {
    ans = "YES";
  } else if (a === 7 && b === 5 && c === 5) {
    ans = "YES";
  } else {
    ans = "NO";
  }
  
	//出力
	console.log('%s', ans);
}

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