No answers by SMT

...