8.15/10.24	c found falsified original clause
12.15/12.32	unsat
