8.67/10.16	c found falsified original clause
8.67/10.60	unsat
