Using O=C(OCc1ccccc1)N1CCC(c2c[nH]c3c(F)c(F)c(F)c(F)c23)CC1 to produce Fc1c(F)c(F)c2c(C3CCNCC3)c[nH]c2c1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.