23.42/24.88	unsat
