2.19/2.26	c found falsified original clause
2.38/2.40	unsat
