Using C#C[C@@]1(COC(=O)OC(C)(C)C)C=C[C@H](OC(=O)OC(C)(C)C)O1, Cc1c[nH]c(=O)[nH]c1=O to produce C#C[C@@]1(COC(=O)OC(C)(C)C)C=C[C@H](n2cc(C)c(=O)[nH]c2=O)O1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.