Using O=Cc1cc(Br)c2ccccc2c1, Fc1ccc2sccc2c1 to produce OC(c1cc(Br)c2ccccc2c1)c1cc2cc(F)ccc2s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.