Andy: AC code for UVa#727.