1.39/1.65	c found falsified original clause
1.39/1.90	unsat
