Using COc1ccc(CS)cc1, COc1ccc(F)c(-c2ccc(OS(=O)(=O)C(F)(F)F)cc2CC(C)(C)C)c1 to produce COc1ccc(CSc2ccc(-c3cc(OC)ccc3F)c(CC(C)(C)C)c2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.