Using C=O, Fc1ccc(-n2c3c(c4cc(F)ccc42)CCNCC3)cc1 to produce CN1CCc2c(n(-c3ccc(F)cc3)c3ccc(F)cc23)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.