z3啊啊啊建不出来，有公式么大家