8.55/13.17	c found falsified original clause
8.55/13.86	unsat
