diff --git a/models/archive/tac24-synthesis/dpm-demo/sketch.templ b/models/archive/tac24-synthesis/dpm-demo/sketch.templ
index bf5a47e06..5c1fe2467 100644
--- a/models/archive/tac24-synthesis/dpm-demo/sketch.templ
+++ b/models/archive/tac24-synthesis/dpm-demo/sketch.templ
@@ -17,10 +17,10 @@ const int q_init = 0;
 
 // profiles desired at observation levels
 // 0 - sleep, 1 - idle, 2 - active
-hole int P1 in {2};
-hole int P2 in {2};
-hole int P3 in {2};
-hole int P4 in {2};
+hole int P1 in {0,1,2};
+hole int P2 in {0,1,2};
+hole int P3 in {0,1,2};
+hole int P4 in {0,1,2};
 
 // observation level thresholds
 hole double T1 in {0.0,0.1,0.2,0.3,0.4};