a solver for the sokoban levels in nethack