Using OCc1cnc2c(C(F)(F)F)cccc2c1-c1cccc(O)c1, O=C(O)Cc1ccc(CBr)cc1 to produce O=C(O)Cc1ccc(COc2cccc(-c3c(CO)cnc4c(C(F)(F)F)cccc34)c2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.