#z3_hybrid_plus