7.47/10.75	c found falsified original clause
13.91/14.67	unsat
