5.08/10.16	c found falsified original clause
10.38/10.55	unsat
