solver success