4.08/4.68	c found falsified original clause
4.08/4.84	unsat
