17.85/18.93	c found falsified original clause
17.85/20.19	unsat
