Rename task_25-3.in to task_19-3.in