7.38/12.42	c found falsified original clause
14.15/14.87	unsat
