20131013-07

UVA 12250: nothing special.