25.37/25.92	unsat
