15.06/15.10	c found falsified original clause
15.06/16.13	unsat
