function main(input) {
  input = input.trim();
  const [a,b,c] = input.split(" ").map(Number);
  let set = new Set([a,b,c]);
  let num = set.size;
  if(num==2){
    if(a==5||a==7||b==5||b==7||c==5||c==7){
       console.log('Yes');
    }else{
       console.log('No');
    }
  }else{
    console.log('No');
  }
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));
