0.00/6.45	c found falsified original clause
7.50/7.91	unsat
