Input: MT - make slot assignment work for overcovered solutions