7.39/11.03	c found falsified original clause
14.05/14.97	unsat
