Rename UVA11984 to 11984