!*.smt2
