7.28/9.45	c found falsified original clause
7.28/12.01	unsat
