6.68/9.40	c found falsified original clause
11.37/11.42	unsat
