3.88/3.96	c found falsified original clause
3.88/3.99	unsat
