7.37/12.01	c found falsified original clause
13.86/15.47	unsat
