new file:   collection.txt
	new file:   solver.py