7.08/11.87	c found falsified original clause
13.47/14.76	unsat
