Using C[Mg]Br, CC(C)(C)c1csc(-c2cc3cc(C=O)ccc3o2)n1 to produce CC(O)c1ccc2oc(-c3nc(C(C)(C)C)cs3)cc2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.