Update solve.txt