Using CS(=O)(=O)Cl, O=C(c1n[nH]c2c1CNCC2)N1CCC(c2ccc(F)cc2C(F)(F)F)CC1 to produce CS(=O)(=O)N1CCc2[nH]nc(C(=O)N3CCC(c4ccc(F)cc4C(F)(F)F)CC3)c2C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.