7.58/8.98	c found falsified original clause
7.58/11.30	unsat
