number of variables and constrainsts