var lines=[];
var reader = require('readline').createInterface({
    input: process.stdin,
    output: process.stdout
});
reader.on('line', function (line) {
  lines.push(line);
});
reader.on('close', function () {
  //do something
  let l = lines[0]
  l = l.split(' ')
    .filter(v => v != '7')

  if (l.length == 1 && l[0] == '5') {

      console.log('Yes')

  } else {
    console.log('No')
  }


});