11.59/11.82	c found falsified original clause
12.34/12.46	unsat
