Using CN1CN(C)c2nc3n(Cc4ccc(F)cc4)c(=O)cc(O)n3c2C1=O, CC(C)=CCBr to produce CC(C)=CCc1c(O)n2c3c(nc2n(Cc2ccc(F)cc2)c1=O)N(C)CN(C)C3=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.