solves sokoban puzzles