Using CO/C=C/c1cc(F)cc(-c2nnc(-c3ccc(CC(C)C)c(C#N)c3)s2)c1OC to produce COc1c(CC=O)cc(F)cc1-c1nnc(-c2ccc(CC(C)C)c(C#N)c2)s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.