constraints more than two variables