added sokoban experiment; bug fixes