12.74/14.14	c found falsified original clause
12.74/14.37	unsat
