Using O=C(O)N1CCN(c2ccc(N3CCN(CC4CC4(F)F)CC3)cn2)c2ccccc21 to produce FC1(F)CC1CN1CCN(c2ccc(N3CCNc4ccccc43)nc2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.