7.98/8.75	c found falsified original clause
7.98/11.91	unsat
