SolverFinish Function
SolverOk Function