3.17/3.22	c found falsified original clause
3.17/3.25	unsat
