pan><span class="mi">0</span><span class="p">]</span><span class="o">==</span><span class="n">SUCCEED</span><span class="p">):</span>
    <span class="k">if</span> <span class="n">A_var</span><span class="o">.</span><span class="n">value</span><span class="p">()</span><span class="o">==</span><span class="mi">2</span><span class="p">:</span>                            <span class="c1"># When value == 2 cut all other solutions.</span>
        <span class="n">cut</span><span class="p">()</span>
        <span 