/  SMT sessions