Delete solver.txt