function Main(input) {
	// 1行目がinput[0], 2行目がinput[1], …に入る
	var tmp = input.split(" ");
	//文字列から10進数に変換するときはparseIntを使います
	var a = parseInt(tmp[0], 10);
	var b = parseInt(tmp[1], 10);

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

  var getGroupIndex = function(v) {
    var index;
    groups.find(function(group, i) {
      var findValue = group.find(function(value) {
        return value === v;
      });
      if (findValue) index = i;
      return !!findValue;
    });

    return index;
  };

  var aIndex = getGroupIndex(a);
  var bIndex = getGroupIndex(b);

  var validate = aIndex === bIndex;

  //出力
	console.log('%s', validate ? 'Yes' : 'No');
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));