Using Oc1ccc([C@@H]2CCNC[C@H]2F)cc1, CS(=O)(=O)O[C@H]1CCN(Cc2ccc(C(F)F)cc2)C1=O to produce O=C1C(N2CC[C@@H](c3ccc(O)cc3)[C@H](F)C2)CCN1Cc1ccc(C(F)F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.