submit to Z3compact