n vars,
constraints