Rename problem.txt to PROB.txt