Using O=C(OO)c1cccc(Cl)c1, Cc1nc2cccnc2nc1SCc1ccccn1 to produce Cc1nc2cccnc2nc1S(=O)Cc1ccccn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.