0.00/3.37	c found falsified original clause
3.58/3.61	unsat
