pack circles of radius 1.25 mm in a square of side 20 mm