1.49/1.78	c found falsified original clause
1.49/2.32	unsat
