7.33/9.42	c found falsified original clause
11.15/11.68	unsat
