0.00/5.30	c found falsified original clause
6.58/6.69	unsat
