3.08/3.10	c found falsified original clause
3.08/3.13	unsat
