sot_solver