11.22/11.29	c found falsified original clause
12.14/12.30	unsat
