24.75/25.52	unsat
