8.08/9.60	c found falsified original clause
8.08/10.03	unsat
