Please share more what you would expect out of sokoban as an AI coding benchmark?