0.00/5.48	c found falsified original clause
6.69/6.75	unsat
