Sokoban from downward benchmarks - IPC2011