6000^x = 2^512