2.18/2.35	c found falsified original clause
2.49/2.55	unsat
