23.70/23.78	unsat
