7.28/12.68	c found falsified original clause
7.28/14.81	unsat
