function Main(input) {
  var A = parseInt(input.split(" ")[0]);
  var B = parseInt(input.split(" ")[1]);
  var C = parseInt(input.split(" ")[2]);
  
  var sevenCount = 0;
  var fiveCount = 0;
  
  if(A == 5){
     fiveCount++;
  }else if(A == 7){
     sevenCount++;
  }
  if(B == 5){
     fiveCount++;
  }else if(B == 7){
     sevenCount++;
  }
  if(C == 5){
     fiveCount++;
  }else if(C == 7){
     sevenCount++;
  }
  
  if(fiveCount == 2 && sevenCount == 1){
     console.log("YES");
     }else{
     console.log("NO");
     }
}

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