0.00/2.95	c found falsified original clause
0.00/3.48	unsat
