Using C=Cc1cn(C(=O)OC(C)(C)C)cn1, Oc1ccc(-c2sc3cc(O)ccc3c2Oc2ccc(Br)cc2)cc1 to produce Oc1ccc(-c2sc3cc(O)ccc3c2Oc2ccc(/C=C/c3c[nH]cn3)cc2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.