Using O=C([O-])O, CC(C)(C)OC(=O)N1CC[C@H]1COc1cncc([C@H]2C[C@@H]2CO)c1 to produce C=C[C@H]1C[C@@H]1c1cncc(OC[C@@H]2CCN2C(=O)OC(C)(C)C)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.