The node you are looking for is at lex_solve.