19.31/19.89	c found falsified original clause
20.87/24.78	unsat
