Using benzoyl isothiocyanate, tert-butyl (3R,4R)-3-amino-4-(hydroxymethyl)-3-(isothiazol-5-yl)pyrrolidine-1-carboxylate to produce tert-butyl (4aR,7aR)-2-benzamido-7a-(isothiazol-5-yl)-4a,5,7,7a-tetrahydropyrrolo[3,4-d][1,3]thiazine-6(4H)-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"
    ]
}
```
