Using S=P12SP3(=S)SP(=S)(S1)SP(=S)(S2)S3, CC(=O)CNC(=O)c1cccnc1 to produce Cc1cnc(-c2cccnc2)s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.