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