Evaluating p86 : p(A)
p(a) is: false (OK)
p(b1) is: true (OK)
p(b10) is: false (OK)
p(b2) is: false (OK)
p(b3) is: true (OK)
p(b4) is: false (OK)
p(b5) is: true (OK)
p(b6) is: false (OK)
p(b7) is: true (OK)
p(b8) is: false (OK)
p(b9) is: true (OK)
p(c1) is: false (OK)
p(c2) is: true (OK)
p(c3) is: false (OK)
p(c4) is: false (OK)
p(c5) is: false (OK)
p(c6) is: false (OK)
p(c7) is: false (OK)
p(c8) is: false (OK)
p(c9) is: false (OK)
