Model-based diagnosis in SOPHIE III 1