Using CN(C)C=O, CC1(C)CCC2=C(C1=O)C(c1ccc(Br)cc1)NC(=O)N2c1cccc(C(F)(F)F)c1 to produce CC1(C)CCC2=C(C1=O)C(c1ccc(C#N)cc1)NC(=O)N2c1cccc(C(F)(F)F)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.