23.76/24.17	c found falsified original clause
23.76/25.38	unsat
