9.63/13.93	c found falsified original clause
9.63/14.61	unsat
