0.19/1.66	c found falsified original clause
0.19/1.80	unsat
