3.87/3.97	c found falsified original clause
4.08/4.16	unsat
