Documentation Unfilled Imbalances | Sequential SMT (QT)