Using O=C([O-])c1sc2c(ccc(=O)n2-c2ccccc2)c1Nc1ccccc1 to produce O=c1ccc2c(Nc3ccccc3)csc2n1-c1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.