Using CI, O=S1(=O)Nc2c(ccc3cccnc23)-c2ccccc21 to produce CN1c2c(ccc3cccnc23)-c2ccccc2S1(=O)=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.