how many integer solutions of x1+x2+x3+x4 = 28 are there with
0<=xi<=12,
-10<=xi<=20,
0<=xi ,x1<=6, x2<=10, x3<=15, x4<=21