"S3 x (C7 : C3)"
