‘N>NIL_9R5_9R6_N’ constraint equation