unsat speed up