3.58/3.66	c found falsified original clause
3.78/3.94	unsat
