; search time: 8.93
; plan length: 11
(pop-unitarypipe s13 b11 a1 a3 b1 gasoleo oc1b)
(push-unitarypipe s12 b1 a1 a2 b8 oc1b oc1b)
(push-unitarypipe s12 b0 a1 a2 b1 lco oc1b)
(pop-unitarypipe s13 b7 a1 a3 b11 rat-a gasoleo)
(pop-unitarypipe s13 b3 a1 a3 b7 gasoleo rat-a)
(pop-unitarypipe s13 b6 a1 a3 b3 lco gasoleo)
(pop-unitarypipe s12 b5 a1 a2 b0 rat-a lco)
(pop-unitarypipe s12 b4 a1 a2 b5 lco rat-a)
(pop-unitarypipe s12 b9 a1 a2 b4 lco lco)
(pop-unitarypipe s12 b2 a1 a2 b9 rat-a lco)
(solve-goal)
