set z3 options in .smt2 instead of command-line