67.11/69.91	c found falsified original clause
78.40/80.12	unsat
