A Novel SAT-Based Approach to Model Based Diagnosis