3.47/3.49	c found falsified original clause
3.47/3.52	unsat
