23.75/23.86	unsat
