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