23.75/23.88	unsat
