to be fair that's the general experience with such solvers
step 1: insert the problem
step 2: ???
step 3: profit