2.38/5.99	c found falsified original clause
6.68/6.73	unsat
