Using CC(=O)c1cccc(C(C)(C)CC(O)(Cn2ccc(=O)c3ccccc32)C(F)(F)F)c1, CON to produce CON=C(C)c1cccc(C(C)(C)CC(O)(Cn2ccc(=O)c3ccccc32)C(F)(F)F)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.