4.38/4.41	c found falsified original clause
4.67/4.73	unsat
