Using Cc1ncc(C=O)cn1, COP(=O)(CC(=O)CN1C(=O)[C@@H](NC(=O)OC(C)(C)C)C[C@H]1C)OC to produce Cc1ncc(C=CC(=O)CN2C(=O)[C@@H](NC(=O)OC(C)(C)C)C[C@H]2C)cn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.