0.00/3.21	c found falsified original clause
0.00/3.43	unsat
