是不是智矿7.1那个群？