maze.sat