Using CC(C)(C)OC(=O)N1C[C@@H](F)C[C@H]1COCCC=O, COC(=O)CP(=O)(OC)OC to produce COC(=O)/C=C/CCOC[C@@H]1C[C@H](F)CN1C(=O)OC(C)(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.