Using (2S,4S)-1-(tert-butoxycarbonyl)-4-phenylpyrrolidine-2-carboxylic acid, (1R,2S)-1-amino-N-(cyclopropylsulfonyl)-2-vinylcyclopropane-1-carboxamide to produce tert-butyl (2S,4S)-2-(((1R,2S)-1-((cyclopropylsulfonyl)carbamoyl)-2-vinylcyclopropyl)carbamoyl)-4-phenylpyrrolidine-1-carboxylate, please predict the condition, including solvent and agent in SMILES notation in json format like:

```JSON
{
    "solvent": [
        "CCN(CC)CC",
        "CCOC(C)=O"
    ],
    "agent": [
        "On1nnc2ccccc21",
        "C(=NC1CCCCC1)=NC1CCCCC1",
        "Cl"
    ]
}
```
