4.58/5.38	c found falsified original clause
4.58/5.66	unsat
