code: def get_core(self):
          
  
          if self.minisat and self.status == False:
              return pysolvers.minisat22_core(self.minisat)
docs: Get an unsatisfiable core if the formula was previously
              unsatisfied.