7.48/11.46	c found falsified original clause
13.47/13.59	unsat
