7.88/11.48	c found falsified original clause
13.62/13.67	unsat
