Using CC(C)(C)OC(=O)N1C[C@@H]2CN(c3cccc4cc(S(=O)(=O)c5cccc(F)c5)cnc34)C[C@@H]21 to produce O=S(=O)(c1cccc(F)c1)c1cnc2c(N3C[C@H]4CN[C@H]4C3)cccc2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.