12.38/15.07	c found falsified original clause
12.38/15.58	unsat
