Using O=c1[nH]nc2c3ccccc3n(Cc3ccc(Br)cn3)cc1-2, C=CCBr to produce C=CCn1nc2c3ccccc3n(Cc3ccc(Br)cn3)cc-2c1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.