4.17/4.26	c found falsified original clause
4.48/4.58	unsat
