24.56/25.88	unsat
