5.71/7.67	c found falsified original clause
5.71/8.16	unsat
