"><a class="line" href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html#a21523209e870747fb5a3c3718980ba95">   76</a></span>&#160;  <span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">final</span> <span class="keywordtype">int</span> UNKNOWN_VALUE = 0;</div>
<div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html#a5b1a6e5888cbb751524a29075b78e9c2">   85</a></span>&#160;  <