aff=Z3SOCD