24.83/25.15	c found falsified original clause
26.24/28.06	unsat
