#include #include using namespace std; using ll = long long; #define MAIN main #define TYPE_OF( VAR ) remove_const::type >::type #define UNTIE ios_base::sync_with_stdio( false ); cin.tie( nullptr ) #define CIN( LL , A ) LL A; cin >> A #define ASSERT( A , MIN , MAX ) assert( MIN <= A && A <= MAX ) #define CIN_ASSERT( A , MIN , MAX ) CIN( TYPE_OF( MAX ) , A ); ASSERT( A , MIN , MAX ) #define FOR( VAR , INITIAL , FINAL_PLUS_ONE ) for( TYPE_OF( FINAL_PLUS_ONE ) VAR = INITIAL ; VAR < FINAL_PLUS_ONE ; VAR ++ ) #define FOREQ( VAR , INITIAL , FINAL ) for( TYPE_OF( FINAL ) VAR = INITIAL ; VAR <= FINAL ; VAR ++ ) #define REPEAT( HOW_MANY_TIMES ) FOR( VARIABLE_FOR_REPEAT , 0 , HOW_MANY_TIMES ) #define QUIT return 0 #define RETURN( ANSWER ) cout << ( ANSWER ) << "\n"; QUIT inline constexpr const int L = 64; void Decrement( int d , ll& c , ll ( &f )[L] , ll& b , const ll& C ) { const ll b_copy = b; b = b + b + 1; c += b + 1; if( c >= C ){ return; } if( d == 1 ){ f[1]--; } else { f[d]--; FOR( d_minus , 1 , d ){ f[d_minus] = b_copy; REPEAT( b_copy ){ Decrement( d_minus , c , f , b , C ); if( c >= C ){ return; } } } } return; } int MAIN() { UNTIE; constexpr const ll bound = 1000000000000000000; CIN_ASSERT( N , 0 , bound ); CIN_ASSERT( B , 2 , bound ); CIN_ASSERT( C , 0 , bound ); cout << "Yes\n"; ll f[L]; ll deg = L; FOR( d , 0 , L ){ f[d] = N % B; N /= B; if( N == 0 ){ deg = d; break; } } ll& f0 = f[0]; ll c = f0 + f0; B += f0; f0 = 0; FOREQ( d , 1 , deg ){ ll fd = f[d]; FOR( i , 0 , fd ){ Decrement( d , c , f , B , C ); if( c >= C ){ RETURN( "No" ); } } } c += 2; if( c <= C ){ cout << "Yes\n"; RETURN( c ); } RETURN( "No" ); }