render explanations for unsatisfiable classes.