1.58/1.75	c found falsified original clause
1.58/1.80	unsat
