8.08/11.75	c found falsified original clause
13.57/14.32	unsat
