Rename task_23-3.in to task_17-3.in