log(x)/log(2^128)=0.87 solve for x