First, CP with nonnegative constrain