lab4-constraints