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