7.58/8.21	c found falsified original clause
7.58/10.19	unsat
