Sokoban game and solver