s3.sol

((movedown sokoban2 l7 l13)
 (movedown sokoban1 l1 l7)
 (movedown sokoban2 l13 l19)
 (movedown sokoban1 l7 l13)
 (movedown sokoban2 l19 l25)
 (movedown sokoban1 l13 l19)
 (movedown sokoban2 l25 l31)
 (moveright sokoban2 l31 l32)
 (movedown sokoban1 l19 l25)
 (moveright sokoban2 l32 l33)
 (movedown sokoban1 l25 l31)
 (moveup sokoban2 l33 l27)
 (moveright sokoban1 l31 l32)
 (moveright sokoban1 l32 l33)
 (moveup sokoban2 l27 l21)
 (moveup sokoban1 l33 l27)
 (moveup sokoban2 l21 l15)
 (moveup sokoban1 l27 l21)
 (moveup sokoban2 l15 l9)
 (moveup sokoban2 l9 l3)
 (moveup sokoban1 l21 l15)
 (moveright sokoban1 l15 l16)
 (moveright sokoban1 l16 l17)
 (moveright sokoban2 l3 l4)
 (movedown sokoban1 l17 l23)
 (pushright sokoban2 l4 l5 l6 crate1)
 (pushdown sokoban1 l23 l29 l35 crate3)
 (pushdown sokoban2 l5 l11 l17 crate2))