22.41/22.55	c found falsified original clause
23.11/24.78	unsat
