/span></span><a href="Result.html#SAT-0" t="n" class="documentableName ">SAT</a><span t="k"> extends </span><a href="Result.html" t="t">Result</a></span><span class="signature-long"></span>
           </div>
          </div>
         </div>
        </div>
        <div class="documentableElement" id="UNSAT-0" data-f-keywords="case">
         <div class="documentableElement-expander">
          <div class="header monospace mono-medium">
           <div class="signature">
            <span class="signature-sho