instance: 20 variables, 91 clauses
refuted: assignment names 1 variable(s) outside the instance (first: 21)