The Herzog-Sch\"onheim conjecture for solvable groups

Herzog and Sch"onheim conjectured that any nontrivial partition of a group into cosets must contain two cosets with the same index.