2.18/2.25	c found falsified original clause
2.38/2.43	unsat
