Andy: AC code for UVa#10745.