4.67/5.67	c found falsified original clause
4.67/6.05	unsat
