Using Cc1cccc2nc(-c3c(F)cccc3F)[nH]c12, CC(C)=CCBr to produce CC(C)=CCn1c(-c2c(F)cccc2F)nc2c(C)cccc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.