61.24/62.84	c found falsified original clause
67.43/67.84	unsat
