Z3趙云新法，測試了很久。表現(xiàn)非常哇塞！莊子強(qiáng)烈推薦。