3.67/3.71	c found falsified original clause
3.67/3.98	unsat
