Using CI, O=C1NCCn2c1cc1cc(F)cc(-c3ccc(F)cc3)c12 to produce CN1CCn2c(cc3cc(F)cc(-c4ccc(F)cc4)c32)C1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.