4.08/4.47	c found falsified original clause
4.08/4.78	unsat
