stp.unsat
=========

.. autodata:: stp.unsat