Using O=C1CC[C@H]2[C@H](S(=O)(=O)c3ccccc3)C[C@]1(c1ccc(F)cc1)N2Cc1ccccc1 to produce O=S(=O)(c1ccccc1)[C@@H]1C[C@@]2(c3ccc(F)cc3)[C@H](O)CC[C@@H]1N2Cc1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.