17.46/17.59	c found falsified original clause
17.65/18.57	unsat
