18.26/20.93	c found falsified original clause
18.26/23.64	unsat
