23.36/23.81	c found falsified original clause
23.36/28.44	unsat
