0.00/0.26	c found falsified original clause
0.28/0.32	unsat
