added mat1 constraints