Using Brc1ccc(-c2cccnc2)cc1, C=CC1(O)CN2CCC1CC2 to produce OC1(C=Cc2ccc(-c3cccnc3)cc2)CN2CCC1CC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.