1.29/1.63	c found falsified original clause
1.29/1.82	unsat
