Using Nc1c(N)n2n(c1=O)CCC2, Cc1ccc2ccccc2c1O to produce CC1=C/C(=N\c2c(N)n3n(c2=O)CCC3)c2ccccc2C1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.