1.49/1.86	c found falsified original clause
1.49/1.97	unsat
