Solved number 16 with the help of gmp