Z3 working