="c1"># Loop on all solution and print them.</span>
<span class="k">while</span> <span class="p">(</span><span class="n">resume</span><span class="p">()[</span><span class="mi">0</span><span class="p">]</span><span class="o">==</span><span class="n">SUCCEED</span><span class="p">):</span>
    <span class="nb">print</span><span class="p">(</span><span class="n">B_var</span><span class="p">)</span>
    <span class="n">Atom</span><span class="p">(</span><span class="s2">&quot;fail&quot;</span><span class="p">)