S3 group isomorphism problem