11.07/11.67	c found falsified original clause
11.07/14.05	unsat
