6.38/7.90	c found falsified original clause
6.38/11.40	unsat
