6.38/8.17	c found falsified original clause
6.38/10.02	unsat
