############################################
0 <= s1: 0 <= 0
0 <= s2: 0 <= 0
0 <= s3: 0 <= 0
1 <= s4: 1 <= 1
0 <= s5: 0 <= 0
1 <= x1: 1 <= 1
0 <= x10: 0 <= 0
0 <= x11: 0 <= 0
1 <= x12: 1 <= 1
1 <= x13: 1 <= 1
1 <= x14: 1 <= 1
0 <= x15: 0 <= 0
1 <= x16: 1 <= 1
1 <= x17: 1 <= 1
0 <= x18: 0 <= 0
0 <= x19: 0 <= 0
1 <= x2: 1 <= 1
0 <= x20: 0 <= 0
0 <= x21: 0 <= 0
1 <= x22: 1 <= 1
0 <= x23: 0 <= 0
1 <= x24: 1 <= 1
0 <= x25: 0 <= 0
0 <= x26: 0 <= 0
0 <= x27: 0 <= 0
1 <= x28: 1 <= 1
1 <= x29: 1 <= 1
1 <= x3: 1 <= 1
1 <= x30: 1 <= 1
0 <= x31: 0 <= 0
1 <= x32: 1 <= 1
1 <= x33: 1 <= 1
0 <= x34: 0 <= 0
0 <= x35: 0 <= 0
1 <= x36: 1 <= 1
0 <= x37: 0 <= 0
0 <= x38: 0 <= 0
1 <= x39: 1 <= 1
1 <= x4: 1 <= 1
0 <= x40: 0 <= 0
1 <= x5: 1 <= 1
0 <= x6: 0 <= 0
1 <= x7: 1 <= 1
0 <= x8: 0 <= 0
0 <= x9: 0 <= 0
MINIMIZE: 1.0 (1)
1262 <= C4_: 1262.0 <= 1262
984 <= C3_: 984.0 <= 984
991 <= C5_: 991.0 <= 991
1111 <= C2_: 1111.0 <= 1111
987 <= C1_: 987.0 <= 987
############################################
