Tuning the SATISFIABLE-helping trick to work better on UNSAT too
Tuning the "more minimisation" limit

We can now do more of it if it's helping