instance: 20 variables, 91 clauses
inconclusive: assignment could not be parsed as v-lines: not a literal: this