z3问题