problem.txt: the problem statement