nothing but a sokoban solver AI