13.33/13.97	c found falsified original clause
15.06/16.10	unsat
