solve 95^x >= 2^256 for x