Solve the 4-color case.