; search time: 0.01
; plan length: 10
(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)
(push-unitarypipe s12 b6 a1 a2 b5 lco gasoleo)
(push-unitarypipe s12 b7 a1 a2 b6 oca1 lco)
(pop-unitarypipe s13 b2 a1 a3 b1 rat-a gasoleo)
(push-unitarypipe s13 b0 a1 a3 b2 rat-a rat-a)
(push-unitarypipe s13 b1 a1 a3 b0 gasoleo rat-a)
(pop-unitarypipe s13 b2 a1 a3 b1 rat-a gasoleo)
(solve-goal)
