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