Using Cc1cccc(-n2c(=O)[nH]c3cccnc32)n1, CC(C)=O to produce C=CCn1c(=O)n(-c2cccc(C)n2)c2ncccc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.