7.17/11.59	c found falsified original clause
13.36/13.90	unsat
