// inputに入力データ全体が入る
function Main(input) {
	// 1行目がinput[0], 2行目がinput[1], …に入る
	var inputs = input.trim();
  	var items = input.split(" ").map((item) => {return parseInt(item); });
  	items.sort();
  var target = [5, 5, 7];
  var flag = true;
  for (var i = 0; i < 3; ++i) {
    if (items[i] != target[i]) {
      flag = false;
      break;
    }  
  }
	console.log(flag ? "YES" : "NO");
}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));