A sokoban solver AI.