Tuning z3