9.88/12.84	c found falsified original clause
9.88/14.47	unsat
