Using O=C(CCl)N1CCCc2c1cnn2-c1ccc(F)cc1, FC(F)(F)c1n[nH]cc1Cl to produce O=C(Cn1cc(Cl)c(C(F)(F)F)n1)N1CCCc2c1cnn2-c1ccc(F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.