s/solver.html/index.html/