11.57/12.35	c found falsified original clause
11.57/14.26	unsat
