Update solver.c