const input = require('fs').readFileSync('/dev/stdin', 'utf8');
const input_lines = input.split('\n');
input_lines.forEach(line => {
  const inputs = line.split(' ');
  if ('5,5,7' === inputs.sort().toString()){
    console.log('YES');
  }else{
    console.log('NO');
  }
});