16.39/16.84	c found falsified original clause
16.39/17.58	unsat
