8.42/13.37	c found falsified original clause
14.16/14.29	unsat
