fixed SAT predict function, added cleaning of Solver state on compute processes