12.76/15.02	c found falsified original clause
12.76/15.54	unsat
