instance: 20 variables, 91 clauses
inconclusive: assignment is not UTF-8 text