diff --git a/other/decomp-sat.py b/other/decomp-sat.py
index a3b846d..5723aff 100644
--- a/other/decomp-sat.py
+++ b/other/decomp-sat.py
@@ -23,10 +23,13 @@ rids = [i for i in range(c)] # components
 # Optimale decompositie met slechts verzamelingen. Zie ook A000792 in de OEIS
 # (voor de omkering size -> n), dit groeit met de derdemacht. Dus size is
 # ongeveerde de derdemachts-wortel van n. Ik weet niet hoeveel c moet zijn.
-# n    =  1  2  3  4  5  6  7-9  10-12  13-18  19-27  28-36
-#     ------------------------------------------------------
-# c    ≥  1  1  1  1  1  2   2     2      3      ?      ?
-# size =  1  2  3  4  5  5   6     7      8      9     10
+# Ook relevant: A007600, Katona's problem en Edmonds' problem.
+# n    =  1 2 3 4 5 6 7-9 10-12 13-18 19-27 28-36 37-54 55-81 82-108 109-162
+#     ------------------------------------------------------------------------
+# c    =* 1 1 1 1 1 2  2    2     3     3     3     4     4     4       5
+# size =  1 2 3 4 5 5  6    7     8     9    10    11    12    13      14
+#
+# *) de c is voor de grootste in het interval
 
 
 print('Start encoding')