getting the solver working