function main(input){
let input = input.split(' ');
let A = Number(input[0]); 
let B = Number(input[1]); 
let C = Number(input[2]); 
  if(num1+num2+num3 != 17){
    console.log('NO');
 }else if(A === 5 && B === 5 ){
  console.log('YES');
}else if (A === 5 && B === 7){
  console.log('YES');
 }else if(A === 7 && B === 5){
 console.log('YES');
}else{
 console.log('NO');
}
  

}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));