23.42/24.83	unsat
