The game of sokoban