const reader = require('readline').createInterface({
  input: process.stdin, output: process.stdout
});
  let lines = [];
  reader.on('line', line => {
    lines.push(line);
  });
  reader.on('close', () => {
    let num = parseInt(lines[0], 10);
    let num2 = parseInt(lines[1], 10);
    let answer = num + num2;
    if( answer == 0 || answer == 4 || answer == 10){
      console.log("Yes")
    } else {
      console.log("No")
    }
  });