When the request is unsatisfiable, use the default solver to provide explanations if the external one does not.
Merge pull request #1126 from AltGr/refs/heads/rebase-#1106

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