Using C[C@@H]1CC[C@@H](C(C)(C)c2ccccc2)[C@H](OC(=O)N2C3=C(C(=O)COC3)C(c3ccc(F)c(Br)c3)C3=C2CCS3(=O)=O)C1 to produce O=C1COCC2=C1C(c1ccc(F)c(Br)c1)C1=C(CCS1(=O)=O)N2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.