17.26/17.31	c found falsified original clause
17.56/17.97	unsat
