0.22/0.26	c found falsified original clause
0.22/0.29	unsat
