#include <bits/stdc++.h>

#define rep(i, j, k) for (int i = (j); i <= (k); ++i)
#define per(i, j, k) for (int i = (j); i >= (k); --i)
#define SZ(v) int((v).size())
#define ALL(v) (v).begin(),(v).end()
#define fi first
#define se second
using ll = long long;
using pii = std::pair<int, int>;
using pll = std::pair<ll, ll>;

template<class T>inline void chkmn(T &x, T y) { if (y < x) x = y; }
template<class T>inline void chkmx(T &x, T y) { if (y > x) x = y; }

using namespace std;

int main() {
  cin.tie(nullptr) -> ios::sync_with_stdio(false);
  int a, b;
  cin >> a >> b;
  rep (x, 1, 6) rep (y, x, 6) rep (z, y, 6) {
    int sa = 0, sb = 0;
    if (x == 1 || x == 4) sa += x;
    else sb += x;
    if (y == 1 || y == 4) sa += y;
    else sb += y;
    if (z == 1 || z == 4) sa += z;
    else sb += z;
    if (a == sa && b == sb) return cout << "Yes\n", 0;
  }
  cout << "No\n";
}