6.97/12.25	c found falsified original clause
6.97/12.73	unsat
