function Main(input) {
	input = input.split(" ");
  
  	for(var i=0; i<3; i++){
      	input[i] = parseInt(input[i], 10);
      
      	if(input[i] == 5 || input[i] == 7){
      		continue;
    	}else{
      		console.log('NO');
          	return;
    	}
    }
  
  	var b = input[0] + input[1] + input[2];

  
  	if(b == 17){
      console.log('YES');
    }else{
      console.log('NO');
    }
}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));