Optimum setting for Z3