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