function main(input) {
  input=input.trim();
  const a = parseInt(input.split("\n")[0], 10);
  const b = parseInt(input.split("\n")[1], 10);
  const c = parseInt(input.split("\n")[2], 10);
  var arr=[a,b,c]
  arr.sort
  if(arr[0]==5&&arr[1]==5&&arr[2]==7){
    console.log("YES");
  }else{
    console.log("NO");
  }
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));