Using ClCc1nsc(Oc2ccccc2)n1, CC(C)=C[C@@H]1[C@@H](C(=O)O)C1(C)C to produce CC(C)=C[C@@H]1[C@@H](C(=O)OCc2nsc(Oc3ccccc3)n2)C1(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.