9.09/11.21	c found falsified original clause
9.09/11.54	unsat
