0.00/6.05	c found falsified original clause
7.37/7.45	unsat
