solve 94^x = 2^256, x is real