'use strict';

const fs = require('fs');

const groups = [
  [1, 3, 5, 7, 8, 10, 12],
  [4, 6, 9, 11],
  [2],
];

const findGroupIndex = (n) => {
  for (let i = 0; i < 3; i++) {
    if (groups[i].indexOf(n) >= 0) {
      return i;
    }
  }
  return -1;
};

const input = fs.readFileSync('/dev/stdin', 'utf8')
  .split(' ')
  .map(n => parseInt(n, 10));

const x = input[0];
const y = input[1];
console.log(x, y);

console.log(findGroupIndex(x) === findGroupIndex(y) ? 'Yes' : 'No');