Rename task_18-3.in to task_12-3.in