// C2
Pmin=? [ true U (pc1=3&pc2=3&pc3=3&pc4=3&pc5=3&pc6=3&pc7=3&pc8=3) & (coin1=1&coin2=1&coin3=1&coin4=1&coin5=1&coin6=1&coin7=1&coin8=1) ]