Using Cc1cc2[nH]c(=O)n(Cc3cn(C)c4cccc(C)c34)c2cc1C, CCC/C=C/C(=O)OCC to produce CCCC(CC(=O)OCC)n1c(=O)n(Cc2cn(C)c3cccc(C)c23)c2cc(C)c(C)cc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.