Solving sokoban puzzles with various techniques