lass="line" href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html#a6e9fa218e72d169dfcc4d6009e3574ae">   65</a></span>&#160;  <a class="code" href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html#a6e9fa218e72d169dfcc4d6009e3574ae">UNRECOGNIZED</a>(-1),</div>
<div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;  ;</div>
<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160; </div>
<div class="line"><a name="l00076"></a><span class="lineno