Update smt2.py