Rename task_25-5.in to task_19-5.in