Using O=C1CCc2ccc(=O)n3c2N1C[C@H]3CN1CC[C@@H](CNC(=O)C(F)(F)F)C1 to produce O=C(NC[C@@H]1CCN(C[C@@H]2Cn3c(=O)ccc4ccc(=O)n2c43)C1)C(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.