ls_1_1sat_1_1CpSolverStatus.html#a87f7137957c7543d82a7c3326db0d022">  117</a></span>&#160;  <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">int</span> OPTIMAL_VALUE = 4;</div>
<div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160; </div>
<div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160; </div>
<div class="line"><a name="l00120"></a><span class="lineno"><a class="line" hre