process.stdin.resume();
process.stdin.setEncoding('utf8');

var input = '';
process.stdin.on('data', (chunk) => {
  input += chunk;
});
process.stdin.on('end', () => {
  main(input.split(/\r?\n/));
});

var main = (lines) => {
  var cs = lines[0].split(/ /);
  if(cs[0] === cs[1]) {
    if(cs[1] === cs[2]) {
      console.log('No');
    }
    else {
      console.log('Yes');
    }
  }
  else {
    if(cs[1] === cs[2]) {
      console.log('Yes');
    }
    else {
      if(cs[0] === cs[2]) {
        console.log('Yes');
      }
      else {
        console.log('No');
      }
    }
  }
}