Using C[C@@H](NC(=O)OC(C)(C)C)c1ccc2ccc(Br)cc2n1, C=CC(CF)(CF)C(=O)O to produce C[C@@H](NC(=O)OC(C)(C)C)c1ccc2ccc(/C=C/C(CF)(CF)C(=O)O)cc2n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.