MAX X1111 + X1112 + X1121 + X1122 + X1211 + X1212 + X1221 + X1222 + X2111 + X2112 + X2121 + X2122 + X2211 + X2212 + X2221 + X2222
ST
X1111 + X2111 <= 1
X1112 + X2112 <= 1
X1121 + X2121 <= 1
X1122 + X2122 <= 1
X1211 + X2211 <= 1
X1212 + X2212 <= 1
X1221 + X2221 <= 1
X1222 + X2222 <= 1
X1111 + X1211 <= 1
X1112 + X1212 <= 1
X1121 + X1221 <= 1
X1122 + X1222 <= 1
X2111 + X2211 <= 1
X2112 + X2212 <= 1
X2121 + X2221 <= 1
X2122 + X2222 <= 1
X1111 + X1112 + X1121 + X1122 = 2
X1211 + X1212 + X1221 + X1222 = 2
X2111 + X2112 + X2121 + X2122 = 2
X2211 + X2212 + X2221 + X2222 = 2
END
INT 16