25.72/25.86	unsat
