11.37/12.09	c found falsified original clause
11.37/13.70	unsat
