11.45/13.75	c found falsified original clause
11.45/13.88	unsat
