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