6.38/13.83	c found falsified original clause
15.38/16.18	unsat
