The Least Satisfying Explanation