Solver tweak