8.19/9.87	c found falsified original clause
11.67/11.79	unsat
