6.49/7.15	c found falsified original clause
6.49/8.88	unsat
