solve(factorial(x)=2^19937-1,x)