minor modification to Problems to solve.txt