Using CC(=O)c1ccc(S(N)(=O)=O)cc1, COc1cc(OC)c(-c2nncn2CC(C)C)cc1C=O to produce COc1cc(OC)c(-c2nncn2CC(C)C)cc1/C=C/C(=O)c1ccc(S(N)(=O)=O)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.