4.08/6.44	c found falsified original clause
4.08/6.74	unsat
