10.7.1 ARIZ解题模块