// inputに入力データ全体が入る
function Main(input) {
	// 1行目がinput[0], 2行目がinput[1], …に入る
	//input = input.split("\n");
	tmp = input[0].split(" ");
	//文字列から10進数に変換するときはparseIntを使います
	const a = parseInt(tmp[0], 10);
	const b = parseInt(tmp[1], 10);
	const c = parseInt(tmp[2], 10);
  	let bool = false;
  	let ans = "NO";
  	if(a===7 && b===5 && c===5){
      bool = true;
    }else if(a===5 && b===7 && c===5){
      bool = true;
    }else if(a===5 && b===5 && c===7){
      bool = true;
    }
  
  	if(bool){
      ans = "YES";
    }
	//出力
	console.log(ans);
}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));