Types: H: int, W: int, K: int, S: List[List[int]]
Ranges: 1 ≤ H ≤ 10, 1 ≤ W ≤ 1000, 1 ≤ K ≤ H * W, S_{i,j} in {0, 1}
Addtl Info: None