Using C=CS(=O)(=O)c1ccccc1, Oc1ccc[n+](Cc2ccccc2)c1-c1ccccc1 to produce O=C1C=C[C@H]2[C@H](S(=O)(=O)c3ccccc3)C[C@]1(c1ccccc1)N2Cc1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.