aff=Z3VSUT