z3 update