which solver would you recommend for this?