142.34/144.64	c found falsified original clause
142.34/146.30	unsat
