//#define _GLIBCXX_DEBUG #include using namespace std; #define rep(i, n) for(int i=0; i; using vs = vector; using vi = vector; using vvi = vector; template using PQ = priority_queue; template using PQG = priority_queue, greater>; const int INF = 0xccccccc; const ll LINF = 0xcccccccccccccccLL; template inline bool chmax(T1 &a, T2 b) {return a < b && (a = b, true);} template inline bool chmin(T1 &a, T2 b) {return a > b && (a = b, true);} template istream &operator>>(istream &is, pair &p) { return is >> p.first >> p.second;} template ostream &operator<<(ostream &os, const pair &p) { return os << p.first << ' ' << p.second;} //head int main() { ios::sync_with_stdio(false); cin.tie(0); int n, k; cin >> n >> k; vi dp(n+1, INF); dp[1] = 0; for(int i = 1; i < n; i++) { if(i <= n-3) chmin(dp[i+3], dp[i]+1); if(i*2 <= n) chmin(dp[i*2], dp[i]+1); } cout << (dp[n] <= k?"YES":"NO") << endl; }