Update unsolvedBySolver.txt