6.48/6.55	c found falsified original clause
7.18/8.47	unsat
