instance: 20 variables, 91 clauses
refuted: clause 24 is not satisfied (88/91 satisfied)