Problem: SchursLemma
	Data
		NBALLS := 100;
		NBOXES := 5;
	Domains
		Dom DBALLS = [1..NBALLS];
		Dom DBOXES = [1..NBOXES];
	Variables
		IntVar putIn[NBALLS] :: DBOXES;
	Constraints
    	   Forall(i in [1..NBALLS]) {
	      Forall(j in [1..NBALLS]) {
      	         Forall(k in [1..NBALLS]) {
		 If (i+j=k) Then {
		     (putIn[i] <> putIn[j]) Or (putIn[i] <> putIn[k]);
		 }
		 }                 
              }
           }