6.47/6.52	c found falsified original clause
6.47/6.79	unsat
