Using CON, O=C(O)C(c1ccc(Br)cc1F)N1CCC2(CC1)CN(C1CC1)C(=O)CO2 to produce CONC(=O)C(c1ccc(Br)cc1F)N1CCC2(CC1)CN(C1CC1)C(=O)CO2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.