4.58/5.48	c found falsified original clause
4.58/5.86	unsat
