Using OB(O)c1cccnc1, N#Cc1c(N2CCN(C(=O)c3cccs3)CC2)c2cscc2[nH]c1=O to produce N#Cc1c(N2CCN(C(=O)c3cccs3)CC2)c2cscc2n(-c2cccnc2)c1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.