I don't think SAS cando it for OLS with this type of restriction. On the other hand, if you can extendthe regression under the normal distribution with ML method, you can tryFMM procedure to fit a normal distribution with RESTRICT statement. For example,