6.48/7.47	c found falsified original clause
6.48/9.33	unsat
