Andy: AC code for UVa#459.