7.79/8.87	c found falsified original clause
7.79/11.02	unsat
