7.08/13.29	c found falsified original clause
14.80/15.44	unsat
