#include #define rep(i, n) for (int i = 0; i < (int)(n); i++) #define rrep(i, n) for (int i = (int)(n - 1); i >= 0; i--) #define all(x) (x).begin(), (x).end() #define sz(x) int(x.size()) using namespace std; using ll = long long; const int INF = 1e9; const ll LINF = 1e18; template bool chmax(T& a, const T& b) { if (a < b) { a = b; return 1; } return 0; } template bool chmin(T& a, const T& b) { if (b < a) { a = b; return 1; } return 0; } template vector make_vec(size_t a) { return vector(a); } template auto make_vec(size_t a, Ts... ts) { return vector(ts...))>(a, make_vec(ts...)); } template istream& operator>>(istream& is, vector& v) { for (int i = 0; i < int(v.size()); i++) { is >> v[i]; } return is; } template ostream& operator<<(ostream& os, const vector& v) { for (int i = 0; i < int(v.size()); i++) { os << v[i]; if (i < sz(v) - 1) os << ' '; } return os; } int main() { int n, k; cin >> n >> k; vector> g(n + 1); for (int i = 1; i <= n; i++) { if (i % 2 == 0) g[i].push_back(i / 2); if (i - 3 > 0) g[i].push_back(i - 3); } vector d(n + 1, -1); queue q; d[n] = 0; q.push(n); while (sz(q)) { int pos = q.front(); q.pop(); for (int nxt : g[pos]) { if (~d[nxt]) continue; d[nxt] = d[pos] + 1; q.push(nxt); } } cout << (~d[1] and d[1] <= k ? "YES\n" : "NO\n"); }