Using CCOC(=O)Cc1ccc(C#Cc2cc(C3CC3)c3c(c2)C(C)(C)CC(C)(C)O3)cc1F to produce C#Cc1ccc2c(c1)C(C)(C)CC1(CC1)O2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.