6.48/11.94	c found falsified original clause
6.48/12.25	unsat
