def get_smtlib_script_satisfiability(self, extra_constraints=(), extra_variables=()):
try:<EOL><INDENT>e_csts = self._solver_backend.convert_list(extra_constraints + tuple(self.constraints))<EOL>e_variables = self._solver_backend.convert_list(extra_variables)<EOL>variables, csts = self._solver_backend._get_all_vars_and_constraints(e_c=e_csts, e_v=e_variables)<EOL>return self._solver_backend._get_satisfiability_smt_script(csts, variables)<EOL><DEDENT>except BackendError as e:<EOL><INDENT>raise ClaripyFrontendError("<STR_LIT>") from e<EOL><DEDENT>
Return an smt-lib script that check the satisfiability of the current constraints

:return string: smt-lib script