16.16/16.27	c found falsified original clause
16.96/18.23	unsat
