Using O=C1CN2C=CC=CC2=N1, Clc1ccc2scc(CBr)c2c1 to produce O=C1N=C2C=CC=CN2C1Cc1csc2ccc(Cl)cc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.