function Main(input) {
  input=input.split("\n");
  var array=input[0].split(" ");
  array.sort();
  //console.log(array);
  console.log((array[0]==="5"&&array[1]==="5"&&array[2]==="7")?"YES":"NO");
}

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