4.48/4.52	c found falsified original clause
4.78/4.84	unsat
