Turns out that 3c and 3d are not reversed when splitting the right shift in the way that the Mark I layout does. Reversing it here, rather than in the generic satan.h to avoid breaking the other layouts.