9.64/13.35	c found falsified original clause
9.64/14.20	unsat
