9.38/9.41	c found falsified original clause
10.07/12.37	unsat
