10.08/10.16	c found falsified original clause
10.59/10.64	unsat
