95^12 * 2^(32*8)