// inputに入力データ全体が入る
function Main(input) {
	// 1行目がinput[0], 2行目がinput[1], …に入る
	input = input.split(" ");
  	var ret = 'Yes';
  	var cntSeven = 0;
	for(const val of input){
      if (val !== '5' && val !== '7'){
        ret = 'No';
        break;
      } else if (val === '7'){
        cntSeven ++;
        if (cntSeven > 1){
        ret = 'No';
        break;
        }
      }
    } 
	console.log(ret);
}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));