15.26/17.15	c found falsified original clause
15.26/18.26	unsat
