6.48/8.59	c found falsified original clause
6.48/10.12	unsat
