Update sols.txt