; Social Golfer Problem: 3 groups, 2 members, 5 weeks (int x_1_1 0 1) (int x_1_2 0 1) (int x_1_3 0 1) (int x_1_4 0 1) (int x_1_5 0 1) (int x_1_6 0 1) (int x_1_7 0 1) (int x_1_8 0 1) (int x_1_9 0 1) (int x_1_10 0 1) (int x_1_11 0 1) (int x_1_12 0 1) (int x_1_13 0 1) (int x_1_14 0 1) (int x_1_15 0 1) (int x_2_1 0 1) (int x_2_2 0 1) (int x_2_3 0 1) (int x_2_4 0 1) (int x_2_5 0 1) (int x_2_6 0 1) (int x_2_7 0 1) (int x_2_8 0 1) (int x_2_9 0 1) (int x_2_10 0 1) (int x_2_11 0 1) (int x_2_12 0 1) (int x_2_13 0 1) (int x_2_14 0 1) (int x_2_15 0 1) (int x_3_1 0 1) (int x_3_2 0 1) (int x_3_3 0 1) (int x_3_4 0 1) (int x_3_5 0 1) (int x_3_6 0 1) (int x_3_7 0 1) (int x_3_8 0 1) (int x_3_9 0 1) (int x_3_10 0 1) (int x_3_11 0 1) (int x_3_12 0 1) (int x_3_13 0 1) (int x_3_14 0 1) (int x_3_15 0 1) (int x_4_1 0 1) (int x_4_2 0 1) (int x_4_3 0 1) (int x_4_4 0 1) (int x_4_5 0 1) (int x_4_6 0 1) (int x_4_7 0 1) (int x_4_8 0 1) (int x_4_9 0 1) (int x_4_10 0 1) (int x_4_11 0 1) (int x_4_12 0 1) (int x_4_13 0 1) (int x_4_14 0 1) (int x_4_15 0 1) (int x_5_1 0 1) (int x_5_2 0 1) (int x_5_3 0 1) (int x_5_4 0 1) (int x_5_5 0 1) (int x_5_6 0 1) (int x_5_7 0 1) (int x_5_8 0 1) (int x_5_9 0 1) (int x_5_10 0 1) (int x_5_11 0 1) (int x_5_12 0 1) (int x_5_13 0 1) (int x_5_14 0 1) (int x_5_15 0 1) (int x_6_1 0 1) (int x_6_2 0 1) (int x_6_3 0 1) (int x_6_4 0 1) (int x_6_5 0 1) (int x_6_6 0 1) (int x_6_7 0 1) (int x_6_8 0 1) (int x_6_9 0 1) (int x_6_10 0 1) (int x_6_11 0 1) (int x_6_12 0 1) (int x_6_13 0 1) (int x_6_14 0 1) (int x_6_15 0 1) (= (+ x_1_1 x_1_2 x_1_3) 1) (= (+ x_1_4 x_1_5 x_1_6) 1) (= (+ x_1_7 x_1_8 x_1_9) 1) (= (+ x_1_10 x_1_11 x_1_12) 1) (= (+ x_1_13 x_1_14 x_1_15) 1) (= (+ x_2_1 x_2_2 x_2_3) 1) (= (+ x_2_4 x_2_5 x_2_6) 1) (= (+ x_2_7 x_2_8 x_2_9) 1) (= (+ x_2_10 x_2_11 x_2_12) 1) (= (+ x_2_13 x_2_14 x_2_15) 1) (= (+ x_3_1 x_3_2 x_3_3) 1) (= (+ x_3_4 x_3_5 x_3_6) 1) (= (+ x_3_7 x_3_8 x_3_9) 1) (= (+ x_3_10 x_3_11 x_3_12) 1) (= (+ x_3_13 x_3_14 x_3_15) 1) (= (+ x_4_1 x_4_2 x_4_3) 1) (= (+ x_4_4 x_4_5 x_4_6) 1) (= (+ x_4_7 x_4_8 x_4_9) 1) (= (+ x_4_10 x_4_11 x_4_12) 1) (= (+ x_4_13 x_4_14 x_4_15) 1) (= (+ x_5_1 x_5_2 x_5_3) 1) (= (+ x_5_4 x_5_5 x_5_6) 1) (= (+ x_5_7 x_5_8 x_5_9) 1) (= (+ x_5_10 x_5_11 x_5_12) 1) (= (+ x_5_13 x_5_14 x_5_15) 1) (= (+ x_6_1 x_6_2 x_6_3) 1) (= (+ x_6_4 x_6_5 x_6_6) 1) (= (+ x_6_7 x_6_8 x_6_9) 1) (= (+ x_6_10 x_6_11 x_6_12) 1) (= (+ x_6_13 x_6_14 x_6_15) 1) (= (+ x_1_1 x_2_1 x_3_1 x_4_1 x_5_1 x_6_1) 2) (= (+ x_1_2 x_2_2 x_3_2 x_4_2 x_5_2 x_6_2) 2) (= (+ x_1_3 x_2_3 x_3_3 x_4_3 x_5_3 x_6_3) 2) (= (+ x_1_4 x_2_4 x_3_4 x_4_4 x_5_4 x_6_4) 2) (= (+ x_1_5 x_2_5 x_3_5 x_4_5 x_5_5 x_6_5) 2) (= (+ x_1_6 x_2_6 x_3_6 x_4_6 x_5_6 x_6_6) 2) (= (+ x_1_7 x_2_7 x_3_7 x_4_7 x_5_7 x_6_7) 2) (= (+ x_1_8 x_2_8 x_3_8 x_4_8 x_5_8 x_6_8) 2) (= (+ x_1_9 x_2_9 x_3_9 x_4_9 x_5_9 x_6_9) 2) (= (+ x_1_10 x_2_10 x_3_10 x_4_10 x_5_10 x_6_10) 2) (= (+ x_1_11 x_2_11 x_3_11 x_4_11 x_5_11 x_6_11) 2) (= (+ x_1_12 x_2_12 x_3_12 x_4_12 x_5_12 x_6_12) 2) (= (+ x_1_13 x_2_13 x_3_13 x_4_13 x_5_13 x_6_13) 2) (= (+ x_1_14 x_2_14 x_3_14 x_4_14 x_5_14 x_6_14) 2) (= (+ x_1_15 x_2_15 x_3_15 x_4_15 x_5_15 x_6_15) 2) (<= (+ (min x_1_1 x_2_1) (min x_1_2 x_2_2) (min x_1_3 x_2_3) (min x_1_4 x_2_4) (min x_1_5 x_2_5) (min x_1_6 x_2_6) (min x_1_7 x_2_7) (min x_1_8 x_2_8) (min x_1_9 x_2_9) (min x_1_10 x_2_10) (min x_1_11 x_2_11) (min x_1_12 x_2_12) (min x_1_13 x_2_13) (min x_1_14 x_2_14) (min x_1_15 x_2_15)) 1) (<= (+ (min x_1_1 x_3_1) (min x_1_2 x_3_2) (min x_1_3 x_3_3) (min x_1_4 x_3_4) (min x_1_5 x_3_5) (min x_1_6 x_3_6) (min x_1_7 x_3_7) (min x_1_8 x_3_8) (min x_1_9 x_3_9) (min x_1_10 x_3_10) (min x_1_11 x_3_11) (min x_1_12 x_3_12) (min x_1_13 x_3_13) (min x_1_14 x_3_14) (min x_1_15 x_3_15)) 1) (<= (+ (min x_1_1 x_4_1) (min x_1_2 x_4_2) (min x_1_3 x_4_3) (min x_1_4 x_4_4) (min x_1_5 x_4_5) (min x_1_6 x_4_6) (min x_1_7 x_4_7) (min x_1_8 x_4_8) (min x_1_9 x_4_9) (min x_1_10 x_4_10) (min x_1_11 x_4_11) (min x_1_12 x_4_12) (min x_1_13 x_4_13) (min x_1_14 x_4_14) (min x_1_15 x_4_15)) 1) (<= (+ (min x_1_1 x_5_1) (min x_1_2 x_5_2) (min x_1_3 x_5_3) (min x_1_4 x_5_4) (min x_1_5 x_5_5) (min x_1_6 x_5_6) (min x_1_7 x_5_7) (min x_1_8 x_5_8) (min x_1_9 x_5_9) (min x_1_10 x_5_10) (min x_1_11 x_5_11) (min x_1_12 x_5_12) (min x_1_13 x_5_13) (min x_1_14 x_5_14) (min x_1_15 x_5_15)) 1) (<= (+ (min x_1_1 x_6_1) (min x_1_2 x_6_2) (min x_1_3 x_6_3) (min x_1_4 x_6_4) (min x_1_5 x_6_5) (min x_1_6 x_6_6) (min x_1_7 x_6_7) (min x_1_8 x_6_8) (min x_1_9 x_6_9) (min x_1_10 x_6_10) (min x_1_11 x_6_11) (min x_1_12 x_6_12) (min x_1_13 x_6_13) (min x_1_14 x_6_14) (min x_1_15 x_6_15)) 1) (<= (+ (min x_2_1 x_3_1) (min x_2_2 x_3_2) (min x_2_3 x_3_3) (min x_2_4 x_3_4) (min x_2_5 x_3_5) (min x_2_6 x_3_6) (min x_2_7 x_3_7) (min x_2_8 x_3_8) (min x_2_9 x_3_9) (min x_2_10 x_3_10) (min x_2_11 x_3_11) (min x_2_12 x_3_12) (min x_2_13 x_3_13) (min x_2_14 x_3_14) (min x_2_15 x_3_15)) 1) (<= (+ (min x_2_1 x_4_1) (min x_2_2 x_4_2) (min x_2_3 x_4_3) (min x_2_4 x_4_4) (min x_2_5 x_4_5) (min x_2_6 x_4_6) (min x_2_7 x_4_7) (min x_2_8 x_4_8) (min x_2_9 x_4_9) (min x_2_10 x_4_10) (min x_2_11 x_4_11) (min x_2_12 x_4_12) (min x_2_13 x_4_13) (min x_2_14 x_4_14) (min x_2_15 x_4_15)) 1) (<= (+ (min x_2_1 x_5_1) (min x_2_2 x_5_2) (min x_2_3 x_5_3) (min x_2_4 x_5_4) (min x_2_5 x_5_5) (min x_2_6 x_5_6) (min x_2_7 x_5_7) (min x_2_8 x_5_8) (min x_2_9 x_5_9) (min x_2_10 x_5_10) (min x_2_11 x_5_11) (min x_2_12 x_5_12) (min x_2_13 x_5_13) (min x_2_14 x_5_14) (min x_2_15 x_5_15)) 1) (<= (+ (min x_2_1 x_6_1) (min x_2_2 x_6_2) (min x_2_3 x_6_3) (min x_2_4 x_6_4) (min x_2_5 x_6_5) (min x_2_6 x_6_6) (min x_2_7 x_6_7) (min x_2_8 x_6_8) (min x_2_9 x_6_9) (min x_2_10 x_6_10) (min x_2_11 x_6_11) (min x_2_12 x_6_12) (min x_2_13 x_6_13) (min x_2_14 x_6_14) (min x_2_15 x_6_15)) 1) (<= (+ (min x_3_1 x_4_1) (min x_3_2 x_4_2) (min x_3_3 x_4_3) (min x_3_4 x_4_4) (min x_3_5 x_4_5) (min x_3_6 x_4_6) (min x_3_7 x_4_7) (min x_3_8 x_4_8) (min x_3_9 x_4_9) (min x_3_10 x_4_10) (min x_3_11 x_4_11) (min x_3_12 x_4_12) (min x_3_13 x_4_13) (min x_3_14 x_4_14) (min x_3_15 x_4_15)) 1) (<= (+ (min x_3_1 x_5_1) (min x_3_2 x_5_2) (min x_3_3 x_5_3) (min x_3_4 x_5_4) (min x_3_5 x_5_5) (min x_3_6 x_5_6) (min x_3_7 x_5_7) (min x_3_8 x_5_8) (min x_3_9 x_5_9) (min x_3_10 x_5_10) (min x_3_11 x_5_11) (min x_3_12 x_5_12) (min x_3_13 x_5_13) (min x_3_14 x_5_14) (min x_3_15 x_5_15)) 1) (<= (+ (min x_3_1 x_6_1) (min x_3_2 x_6_2) (min x_3_3 x_6_3) (min x_3_4 x_6_4) (min x_3_5 x_6_5) (min x_3_6 x_6_6) (min x_3_7 x_6_7) (min x_3_8 x_6_8) (min x_3_9 x_6_9) (min x_3_10 x_6_10) (min x_3_11 x_6_11) (min x_3_12 x_6_12) (min x_3_13 x_6_13) (min x_3_14 x_6_14) (min x_3_15 x_6_15)) 1) (<= (+ (min x_4_1 x_5_1) (min x_4_2 x_5_2) (min x_4_3 x_5_3) (min x_4_4 x_5_4) (min x_4_5 x_5_5) (min x_4_6 x_5_6) (min x_4_7 x_5_7) (min x_4_8 x_5_8) (min x_4_9 x_5_9) (min x_4_10 x_5_10) (min x_4_11 x_5_11) (min x_4_12 x_5_12) (min x_4_13 x_5_13) (min x_4_14 x_5_14) (min x_4_15 x_5_15)) 1) (<= (+ (min x_4_1 x_6_1) (min x_4_2 x_6_2) (min x_4_3 x_6_3) (min x_4_4 x_6_4) (min x_4_5 x_6_5) (min x_4_6 x_6_6) (min x_4_7 x_6_7) (min x_4_8 x_6_8) (min x_4_9 x_6_9) (min x_4_10 x_6_10) (min x_4_11 x_6_11) (min x_4_12 x_6_12) (min x_4_13 x_6_13) (min x_4_14 x_6_14) (min x_4_15 x_6_15)) 1) (<= (+ (min x_5_1 x_6_1) (min x_5_2 x_6_2) (min x_5_3 x_6_3) (min x_5_4 x_6_4) (min x_5_5 x_6_5) (min x_5_6 x_6_6) (min x_5_7 x_6_7) (min x_5_8 x_6_8) (min x_5_9 x_6_9) (min x_5_10 x_6_10) (min x_5_11 x_6_11) (min x_5_12 x_6_12) (min x_5_13 x_6_13) (min x_5_14 x_6_14) (min x_5_15 x_6_15)) 1) ; END