Using CC1(C)OB(c2cnn(Cc3ccccc3)c2)OC1(C)C, O=C1C=C(Br)CCC1 to produce O=C1C=C(c2cnn(Cc3ccccc3)c2)CCC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.