Using CC(C)(C)OC(=O)NC1(C(=O)O)CCC1, CC1(C)OC(=O)CC(=O)O1 to produce CC(C)(C)OC(=O)NC1(C(O)=C2C(=O)OC(C)(C)OC2=O)CCC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.