3.67/3.80	c found falsified original clause
3.67/3.85	unsat
