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