Removed spurious solution.txt files.