Rename task_25-4.in to task_19-4.in