2.49/2.77	c found falsified original clause
2.49/2.93	unsat
