2.94/2.99	c found falsified original clause
2.98/3.02	unsat
