8.08/8.43	c found falsified original clause
8.08/10.48	unsat
