function p = BR_prob_cc(clause,P)
%

p = 0;

len_P = length(P);
n = log2(len_P);
for k = 1:len_P
    bits = BR_int2bits(k-1,n);
    if BR_sat(clause,bits)
        p = p + P(k);
    end
end
