add_subdirectory(smt2new)
