24.82/25.51	unsat
