7.08/10.54	c found falsified original clause
7.08/12.62	unsat
