#include using namespace std; #define rep(i, n) for (int i = 0; i < (int)(n); i++) #define all(x) (x).begin(), (x).end() using ll = long long; const ll MOD = 998244353; #include using namespace atcoder; using mint = modint998244353; int main() { ios::sync_with_stdio(false); cin.tie(nullptr); ll q,k;cin>>q>>k; ll cnt=(q+2)/3*2+max(0LL,(q%3)-1); if(cnt>k){ cout<<"No"<