1.39/1.75	c found falsified original clause
1.39/2.07	unsat
