9个人吃3个西瓜