6.88/9.77	c found falsified original clause
11.55/11.59	unsat
