Rename UVA12372 to 12372