4.38/5.16	c found falsified original clause
4.38/5.50	unsat
