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 () {
  var l=lines[0];
  var [boysExceptYasuo,girls]=l.split(/\s+/).map(e=>e-0);
  var remainBoysExceptYasuo=boysExceptYasuo, remainGirls=girls;
  var yasuoHasPartner; 
  pairExceptYasuo();
  pairYasuo();
  console.log(yasuoHasPartner?"YES":"NO");
  console.log(remainBoysExceptYasuo+remainGirls+(yasuoHasPartner?0:1));
  function pairExceptYasuo() {
     if (boysExceptYasuo>girls) {
        remainBoysExceptYasuo-=girls;
        remainGirls=0;
     } else {
        remainBoysExceptYasuo=0;
        remainGirls-=boysExceptYasuo;     
     }
  } 
  function pairYasuo() {
     if (remainGirls>0) {
         yasuoHasPartner=true;
         remainGirls--;
     } else {
         yasuoHasPartner=false;
     }
  }
});