47th Mersenne prime