Merge pull request #1102 from rdicosmo/master

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