8.56/11.67	c found falsified original clause
8.56/11.97	unsat
