Probabilistic abduction for PSAT