Using O=C([O-])[O-], CC(C)(C)CC1CN(C(=O)c2ccc(C#N)cc2)C(c2cccc(Cl)c2F)C1(C#N)c1ccc(Cl)cc1F to produce CC(C)(C)C[C@@H]1CN(C(=O)c2ccc(C(N)=O)cc2)[C@H](c2cccc(Cl)c2F)[C@@]1(C#N)c1ccc(Cl)cc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.