function Main(input) {

	input = input.split(" ");
  //空白で区切るってことやろ

	var A = parseInt(input, 10);
	var B = parseInt(input, 10);
	var C = parseInt(input, 10);
  //とりあえず入力持ってきて10進数にした
  let five = 2;
  //後で使う
  if( A + B + C != 17){

  console.log("NO");
  //合計が　17じゃなきゃ　違うやろ
  } else {
     if(A == 5){
      five --;
    }if(B == 5){
      five --;
    }if(C == 5){
      five --;
    }
//5が二回出てくることの確認
    if(five == 0){
    console.log("YES");
    } else {
    console.log("NO");
    }
  }

}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));
//おまじない

//汚ねぇコードだ
