7.38/11.26	c found falsified original clause
13.56/13.64	unsat
