is mersenne prime #6