4.38/5.29	c found falsified original clause
4.38/5.46	unsat
