小红的01子序列构造（easy）

#参考双指针思路
n, k = map(int, input().split())
s = input().strip()

if n == 0:
    print(-1)
    exit()

cnt0 = 0
cnt1 = 0
l = 0
r = 0

# 初始化第一个字符
if s[0] == '0':
    cnt0 += 1
elif s[0] == '1':
    cnt1 += 1

num = 0
result = None

while l < n and r < n:
    if num == k:
        result = (l + 1, r + 1)
        break
    if num < k:
        # 移动右指针
        if r + 1 < n:
            r += 1
            current_char = s[r]
            if current_char == '0':
                cnt0 += 1
            else:
                num += cnt0
                cnt1 += 1
        else:
            # 无法移动右指针时，尝试移动左指针
            current_char = s[l]
            if current_char == '0':
                num -= cnt1
                cnt0 -= 1
            else:
                cnt1 -= 1
            l += 1
    else:
        # 移动左指针
        current_char = s[l]
        if current_char == '0':
            num -= cnt1
            cnt0 -= 1
        else:
            cnt1 -= 1
        l += 1

# 检查退出循环后是否满足条件
if result is None and num == k and l <= r < n:
    result = (l + 1, r + 1)

if result:
    print(result[0], result[1])
else:
    print(-1)