n  vars,
constraints