SAT solver eRes stuff