Problem 13 with GMP