SAT-based Fault Classifier 1.0