Using O=C(CBr)c1cc2c(OCc3csc(-c4ccccc4)n3)cc(F)cc2o1, Nc1nnc(Br)s1 to produce Fc1cc(OCc2csc(-c3ccccc3)n2)c2cc(-c3cn4nc(Br)sc4n3)oc2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.