Using Cc1ncn(-c2c(F)cc(N)cc2F)n1, O=c1ccccn1C(=S)n1ccccc1=O to produce Cc1ncn(-c2c(F)cc(NC(N)=S)cc2F)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.