instance: 20 variables, 91 clauses
refuted: clause 3 is not satisfied (57/91 satisfied)