4.37/7.47	c found falsified original clause
8.67/8.71	unsat
