20th Mersenne prime