finish Solver