sci_solver
