SBT求K小值