diff --git a/fuzzers/056-rempips/README.md b/fuzzers/056-rempips/README.md
index 3fc3d3e0..8ec4d2eb 100644
--- a/fuzzers/056-rempips/README.md
+++ b/fuzzers/056-rempips/README.md
@@ -8,3 +8,18 @@ This fuzzer occationally fails (depending on some random variables). Just restar
 this issue. The script behind `make run` automatically handles errors by re-starting a run if an error
 occurs.
 
+### Solvability
+
+Known issues:
+* INT.CTRL0: goes into CLB's SR. This cannot be routed through
+
+Jenkins build 3 (78fa4bd5, success) for example solved the following types:
+ * INT_L.EE4BEG0.LH12
+ * INT_L.FAN_ALT1.GFAN1
+ * INT_L.FAN_ALT4.BYP_BOUNCE_N3_3
+ * INT_L.LH0.EE4END3
+ * INT_L.LH0.LV_L9
+ * INT_L.LH0.SS6END3
+ * INT_L.LVB_L12.WW4END3
+ * INT_L.SW6BEG0.LV_L0
+