0.00/5.55	c found falsified original clause
6.89/6.94	unsat
