Pmin=? [ F "finished"&"all_coins_equal_1" ]