12.76/13.89	c found falsified original clause
12.76/14.12	unsat
