14.27/14.67	c found falsified original clause
14.27/16.96	unsat
