the solver is not working properly