12.12/14.66	c found falsified original clause
14.76/14.85	unsat
