DOC: fix typo (sat -> smt)