z3 rank