7.28/8.74	c found falsified original clause
7.28/10.85	unsat
