#include <iostream>
#include <cmath>
#include <vector>
#include <string.h>
#include <bits/stdc++.h>
#include <cstdlib>
#include <time.h>
#include <fstream>
#include <iterator>
#include <utility>
#include <algorithm>
#include <set>
#include <map>
#include <bitset>
using namespace std;
#define ll long long
#define ull unsigned ll
#define ld long double
typedef vector<int> vi;
typedef multiset<int> mi;
typedef multiset<ll> mll;
typedef vector<ll> vll;
typedef vector<bool> vb;
typedef vector<string> vs;
typedef vector<vector<int>> _2vi;
typedef vector<vector<ll>> _2vll;
#define all(v) ((v).begin()), ((v).end())
#define sz(v) ((ll)((v).size()))
#define vinp(v, n) \
for (ull i = 0; i < (n); i++) \
cin >> (v)[i]
#define printv(v) \
for (auto i : (v)) \
cout << i << " "
#define fr0(i, n) for (ull(i) = 0; (i) < (n); (i)++)
#define fr1(i, n) for (ull(i) = 1; (i) < (n); (i)++)
#define fr(i, x, n) for (ull(i) = (x); (i) < (n); (i)++)
#define _CRT_SECURE_NO_WARNING
const ll MOD = 1000000007;
void Bustany() {
ios_base::sync_with_stdio(false);
cin.tie(NULL);
cout.tie(NULL);
#ifndef ONLINE_JUDGE
freopen("./in.txt", "r", stdin), freopen("./out.txt", "w", stdout);
#endif
}
void solve() {
ll a,b;
cin >> a >> b;
//a pos and b neg
//a pos and b pos to long long max a+b>Long long max a>long long max-b
//a neg and b neg to long long min a+b<long long min a<long long min -b
if(a>0 && b>0 && a>LONG_LONG_MAX-b){
cout << "YES";
}
else if(a<0 && b<0 && a<LONG_LONG_MIN-b){
cout << "YES";
}
else{
cout << "NO";
}
}
int main() {
Bustany();
ll t = 1;
// cin >> t;
while (t--) {
solve();
}
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8Y21hdGg+CiNpbmNsdWRlIDx2ZWN0b3I+CiNpbmNsdWRlIDxzdHJpbmcuaD4KI2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CiNpbmNsdWRlIDxjc3RkbGliPgojaW5jbHVkZSA8dGltZS5oPgojaW5jbHVkZSA8ZnN0cmVhbT4KI2luY2x1ZGUgPGl0ZXJhdG9yPgojaW5jbHVkZSA8dXRpbGl0eT4KI2luY2x1ZGUgPGFsZ29yaXRobT4KI2luY2x1ZGUgPHNldD4KI2luY2x1ZGUgPG1hcD4KI2luY2x1ZGUgPGJpdHNldD4KCgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKI2RlZmluZSBsbCBsb25nIGxvbmcKI2RlZmluZSB1bGwgdW5zaWduZWQgbGwKI2RlZmluZSBsZCBsb25nIGRvdWJsZQp0eXBlZGVmIHZlY3RvcjxpbnQ+IHZpOwp0eXBlZGVmIG11bHRpc2V0PGludD4gbWk7CnR5cGVkZWYgbXVsdGlzZXQ8bGw+IG1sbDsKdHlwZWRlZiB2ZWN0b3I8bGw+IHZsbDsKdHlwZWRlZiB2ZWN0b3I8Ym9vbD4gdmI7CnR5cGVkZWYgdmVjdG9yPHN0cmluZz4gdnM7CnR5cGVkZWYgdmVjdG9yPHZlY3RvcjxpbnQ+PiBfMnZpOwp0eXBlZGVmIHZlY3Rvcjx2ZWN0b3I8bGw+PiBfMnZsbDsKI2RlZmluZSBhbGwodikgKCh2KS5iZWdpbigpKSwgKCh2KS5lbmQoKSkKI2RlZmluZSBzeih2KSAoKGxsKSgodikuc2l6ZSgpKSkKCiNkZWZpbmUgdmlucCh2LCBuKSAgICAgICAgICAgICAgICBcCiAgICBmb3IgKHVsbCBpID0gMDsgaSA8IChuKTsgaSsrKSBcCiAgICBjaW4gPj4gKHYpW2ldCiNkZWZpbmUgcHJpbnR2KHYpICAgICAgXAogICAgZm9yIChhdXRvIGkgOiAodikpIFwKICAgIGNvdXQgPDwgaSA8PCAiICIKI2RlZmluZSBmcjAoaSwgbikgZm9yICh1bGwoaSkgPSAwOyAoaSkgPCAobik7IChpKSsrKQojZGVmaW5lIGZyMShpLCBuKSBmb3IgKHVsbChpKSA9IDE7IChpKSA8IChuKTsgKGkpKyspCiNkZWZpbmUgZnIoaSwgeCwgbikgZm9yICh1bGwoaSkgPSAoeCk7IChpKSA8IChuKTsgKGkpKyspCiNkZWZpbmUgX0NSVF9TRUNVUkVfTk9fV0FSTklORwpjb25zdCBsbCBNT0QgPSAxMDAwMDAwMDA3OwoKdm9pZCBCdXN0YW55KCkgewogICAgaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbyhmYWxzZSk7CiAgICBjaW4udGllKE5VTEwpOwogICAgY291dC50aWUoTlVMTCk7CiNpZm5kZWYgT05MSU5FX0pVREdFCiAgICBmcmVvcGVuKCIuL2luLnR4dCIsICJyIiwgc3RkaW4pLCBmcmVvcGVuKCIuL291dC50eHQiLCAidyIsIHN0ZG91dCk7CiNlbmRpZgp9Cgp2b2lkIHNvbHZlKCkgewogICAgbGwgYSxiOwogICAgY2luID4+IGEgPj4gYjsKICAgIC8vYSBwb3MgYW5kIGIgbmVnCiAgICAvL2EgcG9zIGFuZCBiIHBvcyAgIHRvIGxvbmcgbG9uZyBtYXggICBhK2I+TG9uZyBsb25nIG1heCAgIGE+bG9uZyBsb25nIG1heC1iCiAgICAvL2EgbmVnIGFuZCBiIG5lZyAgIHRvIGxvbmcgbG9uZyBtaW4gICBhK2I8bG9uZyBsb25nIG1pbiAgIGE8bG9uZyBsb25nIG1pbiAtYgogICAgaWYoYT4wICYmIGI+MCAmJiBhPkxPTkdfTE9OR19NQVgtYil7CiAgICAgICAgY291dCA8PCAiWUVTIjsKICAgIH0KICAgIGVsc2UgaWYoYTwwICYmIGI8MCAmJiBhPExPTkdfTE9OR19NSU4tYil7CiAgICAgICAgY291dCA8PCAiWUVTIjsKICAgIH0KICAgIGVsc2V7CiAgICAgICAgY291dCA8PCAiTk8iOwogICAgfQp9CgppbnQgbWFpbigpIHsKICAgIEJ1c3RhbnkoKTsKICAgIGxsIHQgPSAxOwovLyAgICBjaW4gPj4gdDsKICAgIHdoaWxlICh0LS0pIHsKICAgICAgICBzb2x2ZSgpOwogICAgfQp9