11.67/12.99	c found falsified original clause
11.67/14.61	unsat
