25.75/25.88	unsat
