rt"><span class="modifiers"><span t="k">case </span></span><span class="kind"><span t="k">case </span></span><a href="Result.html#UNSAT-0" t="n" class="documentableName ">UNSAT</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>
      </section>
     </div>
    </section>
   </div>
  </div>
 </div>
</section></div><div id="toc" class="body-small"><div id="toc-container