Using CN1C2CCC1CC(=O)C2, O=[N+]([O-])c1ccc2[nH]ccc2c1 to produce CN1C2C=C(c3c[nH]c4ccc([N+](=O)[O-])cc34)CC1CC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.