; search time: 0.25
; plan length: 12
(push-unitarypipe s12 b0 a1 a2 b5 rat-a gasoleo)
(pop-unitarypipe s12 b4 a1 a2 b0 gasoleo rat-a)
(push-unitarypipe s13 b0 a1 a3 b2 rat-a rat-a)
(pop-unitarypipe s13 b6 a1 a3 b0 lco rat-a)
(pop-unitarypipe s13 b1 a1 a3 b6 gasoleo lco)
(pop-unitarypipe s13 b2 a1 a3 b1 rat-a gasoleo)
(push-unitarypipe s13 b0 a1 a3 b2 rat-a rat-a)
(pop-unitarypipe s12 b5 a1 a2 b4 gasoleo gasoleo)
(push-unitarypipe s12 b6 a1 a2 b5 lco gasoleo)
(push-unitarypipe s12 b7 a1 a2 b6 oca1 lco)
(push-unitarypipe s13 b4 a1 a3 b0 gasoleo rat-a)
(solve-goal)
