Andy: WA code for UVa#459.