1.39/1.78	c found falsified original clause
1.39/1.80	unsat
