function Main(input) {
  var arr = parseInt(input.split(" "));
  
  var count5 = 0;
  var count7 = 0;
  
  for(var a of arr) {
    if(a == 5){
      count5++;
    }else if(a == 7){
      count7++;
    }
  }
  
  if(count5 == 2 && count7 == 1){
    console.log("YES");
    }else{
    console.log("NO");
  }
}

Main(require("fs").readFileSync("/dev/stdin", "utf8"));
