"C3 x SL(2,3)"
