z3 default

z4