Using BrCC1CC1, O=c1c(O)cn(-c2cccc(C(F)(F)F)c2)nc1-c1ccnn1-c1ccccc1 to produce O=c1c(OCC2CC2)cn(-c2cccc(C(F)(F)F)c2)nc1-c1ccnn1-c1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.