(*t2_C = 5 & t3_C = 20*) t2_C = 0..100 & t3_C = 5..150