solve k*2^k=10^n for k