20.25/24.70	c found falsified original clause
20.25/25.38	unsat
