25.72/25.80	unsat
