Using O=C(NC1CC(c2ccc(C(F)(F)F)cc2)CN(C(=O)N2CCC3(CC2)OCCO3)C1)C1CCCC1 to produce O=C1CCN(C(=O)N2CC(NC(=O)C3CCCC3)CC(c3ccc(C(F)(F)F)cc3)C2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.