code: def unsat_core(self, s):
          
  
          return [ self._abstract(core) for core in self._unsat_core(s) ]
docs: This function returns the unsat core from the backend solver.
  
          :param s: A backend solver object.
          :return: The unsat core.