def unsat_core(self, s):
return [ self._abstract(core) for core in self._unsat_core(s) ]<EOL>
This function returns the unsat core from the backend solver.

:param s: A backend solver object.
:return: The unsat core.