Using O=CO, N#Cc1ccc2c(c1)c1c(n2Cc2cccc(F)c2)CC[C@@H](NC(=O)C2CC2)C1 to produce O=Cc1ccc2c(c1)c1c(n2Cc2cccc(F)c2)CC[C@@H](NC(=O)C2CC2)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.