Update SOLVER.md