11.57/12.21	c found falsified original clause
11.57/13.82	unsat
