Using CC(=O)NCCC[C@@](O)(c1ccc(F)c(-c2cccc(C)c2)c1)[C@@H]1CCCN(C(=O)OC(C)(C)C)C1 to produce CC(=O)NCCC=C(c1ccc(F)c(-c2cccc(C)c2)c1)[C@@H]1CCCN(C(=O)OC(C)(C)C)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.