Using CN1CCC(=O)CC1, [N-]=[N+]=Nc1c(F)c(F)c(C=O)c(F)c1F to produce CN1CC(=Cc2c(F)c(F)c(N=[N+]=[N-])c(F)c2F)C(=O)C(=Cc2c(F)c(F)c(N=[N+]=[N-])c(F)c2F)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.