4.47/4.50	c found falsified original clause
4.57/4.67	unsat
