11.17/13.67	c found falsified original clause
11.17/15.94	unsat
