0.00/6.79	c found falsified original clause
0.00/8.34	unsat
