5.28/5.38	c found falsified original clause
6.08/9.16	unsat
