0.19/0.28	c found falsified original clause
0.19/0.29	unsat
