#include using namespace std; #include using namespace atcoder; #define rep(i, n) for(int i=0;i<(n);++i) #define rep1(i, n) for(int i=1;i<=(n);i++) #define ll long long using mint = modint998244353; using P = pair; using lb = long double; using T = tuple; #ifdef LOCAL # include # define dbg(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__) #else # define dbg(...) (static_cast(0)) #endif int main() { int n; cin >> n; rep(i,50){ if(n==1){ if(2*i+2<=50){ cout << "Yes" << endl; cout << 2*i+2 << endl; } return 0; } if(n%2==0) n/=2; else n = 2 * n +1; } cout << "No" << endl; return 0; }