Using Nc1c(N)n2n(c1=O)CCC2, Cc1cc(N)cc(O)c1 to produce CC1=CC(=O)C=C(N)/C1=N\c1c(N)n2n(c1=O)CCC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.