0.00/6.44	c found falsified original clause
7.38/7.79	unsat
