Fix the internal SAT solver eventually.
Parse clasp SAT solver output as well.