number of equations is written in blackbox polyhedral start system solver