#pragma region Macros

#include <bits/extc++.h>
using namespace std;
using namespace __gnu_pbds;
// using namespace __gnu_cxx;

#define TO_STRING(var) # var
#define pb emplace_back
#define int ll
#define endl '\n'

using ll = long long;
using ld = long double;
const ld PI = acos(-1);
const ld EPS = 1e-10;
const int INF = 1 << 30;
const ll INFL = 1LL << 62;
// const int MOD = 998244353;
const int MOD = 1000000007;

int ceil(int x, int y) {return (x > 0 ? (x + y - 1) / y : x / y);}
int POW(int x, int y) {
    if (y != (int)(y) or y < 0 or x != 0 && x != 1 && y > 64) {cout << "Error" << endl;return 0;}
    if (y == 0) return 1;
    if (y % 2 == 0) return POW(x * x, y / 2);
    return x * POW(x, y - 1);
}

__attribute__((constructor))
void constructor() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cout << fixed << setprecision(15);
}

#pragma endregion

const vector<int> dx = {-1, -1, -2, -2, 1, 1, 2, 2};
const vector<int> dy = {-2, 2, -1, 1, -2, 2, -1, 1};

signed main() {
    int X, Y;
	cin >> X >> Y;
	pair<int,int> P = make_pair(X, Y);

	set<pair<int,int>> st1;
	for (int i = 0; i < 8; i++) {
		auto p = make_pair(dx[i], dy[i]);
		st1.insert(p);
	}
	set<pair<int,int>> st2 = st1;
	for (auto &x : st1) {
		for (int i = 0; i < 8; i++) {
			auto p = make_pair(x.first + dx[i], x.second + dy[i]);
			st2.insert(p);
		}
	}
	set<pair<int,int>> st3 = st2;
	for (auto &x : st2) {
		for (int i = 0; i < 8; i++) {
			auto p = make_pair(x.first + dx[i], x.second + dy[i]);
			st3.insert(p);
		}
	}

	if (st3.count(P)) cout << "YES" << endl;
	else cout << "NO" << endl;
	
}