4.28/4.39	c found falsified original clause
4.37/4.79	unsat
