Using COc1cc2cc(OS(=O)(=O)C(F)(F)F)cnc2cc1OC, COc1ccc([Sn](C)(C)C)cn1 to produce COc1ccc(-c2cnc3cc(OC)c(OC)cc3c2)cn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.