Sokoban solver, version 0.4