is mersenne prime #3