use the inequality c - 3 >= d, b + 4 < a + 1 and a - 2 =< d - 7 to order for a, b, c, and d