feat(dsolvers/icp_solver): add the final feasibility check before returning SAT