6.49/6.72	c found falsified original clause
6.49/8.27	unsat
