‘N>NIL_9R6_9R5_N’ constraint equation