98.27/104.92	c found falsified original clause
105.87/107.27	unsat
