(increment c5)
(increment c5)
(increment c5)
(increment c5)
(increment c5)
(increment c4)
(increment c4)
(increment c4)
(increment c4)
(increment c3)
(increment c3)
(increment c3)
(increment c2)
(increment c2)
(increment c1)
; cost = 15 (unit cost)
