Using O=C1CCc2nc3cc(C#Cc4cccc(F)c4)ccc3c(=O)n2C1 to produce O=c1c2ccc(C#Cc3cccc(F)c3)cc2nc2n1CC(O)CC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.