  144</span>&#160;      <span class="keywordflow">case</span> 0: <span class="keywordflow">return</span> UNKNOWN;</div>
<div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;      <span class="keywordflow">case</span> 1: <span class="keywordflow">return</span> MODEL_INVALID;</div>
<div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;      <span class="keywordflow">case</span> 2: <span class="keywordflow">return</span> FEASIBLE;</div>
<div class="line"><a name