Using C[C@H](O)[C@@H](N)C(=O)NC(=O)OCc1ccccc1, C=C(C)C to produce C[C@H](OC(C)(C)C)[C@@H](N)C(=O)NC(=O)OCc1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.