When the request is unsatisfiable, use the default solver to provide explanations if the external one does not.