When the request is unsatisfiable, use the default solver to provide exp...

...lanations if the external one does not.

Closes #1105