6.69/7.54	c found falsified original clause
6.69/9.51	unsat
