Using Brc1cnc2c(c1)C[C@@]1(CN3CCC1CC3)O2, C=Cc1ccncc1 to produce C(=Cc1cnc2c(c1)C[C@@]1(CN3CCC1CC3)O2)c1ccncc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.