9.48/10.74	c found falsified original clause
9.48/11.09	unsat
