#z3_hybrid+