Using O=C(N=C=S)c1ccccc1, C=CCN1C[C@@H](CO)[C@](N)(c2cccc(Br)c2)C1 to produce C=CCN1C[C@H]2CSC(NC(=O)c3ccccc3)=N[C@@]2(c2cccc(Br)c2)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.