#include using namespace std; #include using namespace atcoder; #define rep(i,n) for (int i = 0; i < (n); i++) #define REP(i,a,b) for(int i=(a);i<(b);i++) #define all(v) begin(v),end(v) #define rall(v) rbegin(v),rend(v) #define fi first #define se second #define re0 return 0 template inline bool chmax(A &a, B b) { if (a inline bool chmin(A &a, B b) { if (a>b) { a=b; return 1; } return 0; } using ll = long long; using pii = pair; using pll = pair; constexpr ll inf = 2e9; constexpr ll llinf = 9e18; //constexpr ll MOD = 998244353; constexpr ll MOD = 1000000007; const double pai=acos(-1); int main() { //cout<>n>>k; vector dp(n+1,inf); dp[1]=0; rep(i,n){ if(i==0)continue; if(i+3<=n)chmin(dp[i+3],dp[i]+1); if(i*2<=n)chmin(dp[i*2],dp[i]+1); } if(dp[n]==inf||dp[n]>k)cout<<"NO"<