Hi,
if you label your demand constraint
forall(o in ORDER,t in PRODUCT:Demand[t][o]>0){
ctDemand:S[t][o] - Y[t][o]*Demand[t][o] >= 0;
}
then you ll get which demand cannot be met in the relaxation tab
------------------------------
[Alex] [Fleischer]
[EMEA CPLEX Optimization Technical Sales]
[IBM]
------------------------------