# GLP_IntegerLinearProgramming
var x1;
var x2;
var x3;
var x4;
var x5;
var x6;
var x7;
var x8;
var x9;
var x10;
var x11;
var x12;
var x13;
var x14;
var x15;
var x16;
var x17;
var x18;
var x19;
minimize obj: x7;
s.t. c1: - 8046504 * x1 - 18034800 * x2 + 15561456 * x3 - 4705320 * x4 - 10820880 * x5 + 33547440 * x6 - 133227 * x7 - 14959166 * x8 + 46453622 * x9 + 37132252 * x10 + 390442346 * x11 - 337381840 * x12 - 81247 * x13 + 1823820 * x14 + 3606960 * x15 + 3152700 * x16 + 1899756 * x17 + 199085660 * x18 - 1660761 * x19 >= 84;
s.t. c2: - 22854024 * x1 - 47080320 * x2 + 60420648 * x3 - 13589832 * x4 - 28248192 * x5 + 129625464 * x6 + 63956757 * x7 - 12813974 * x8 + 87212270 * x9 + 58584172 * x10 - 230828038 * x11 - 1308508360 * x12 + 2244293 * x13 + 2469276 * x14 + 4708032 * x15 + 14163420 * x16 + 8544156 * x17 + 139456916 * x18 - 2439105 * x19 >= 336;
s.t. c3: - 13177608 * x1 - 10725960 * x2 - 2604876 * x3 - 13177608 * x4 - 10725960 * x5 - 7814628 * x6 + 609272835 * x7 + 393617194 * x8 - 721831570 * x9 - 669248828 * x10 - 14321123026 * x11 + 1515373844 * x12 + 15616487 * x13 - 6588804 * x14 - 21451920 * x15 + 4137156 * x16 + 4137156 * x17 - 5320127236 * x18 + 9078759 * x19 >= 210;
s.t. c4: - 1735680 * x1 - 1518720 * x2 - 344424 * x3 - 1735680 * x4 - 1518720 * x5 - 1033272 * x6 + 81019983 * x7 + 51828806 * x8 - 95026898 * x9 - 89229772 * x10 - 1885849994 * x11 + 199105096 * x12 + 2048803 * x13 - 867840 * x14 - 759360 * x15 + 622404 * x16 + 622404 * x17 - 697543124 * x18 + 440361 * x19 >= 42;
s.t. c5: - 202567416 * x1 - 171615360 * x2 - 38919912 * x3 - 202567416 * x4 - 171615360 * x5 - 116759736 * x6 + 9113426835 * x7 + 5856655078 * x8 - 10985809150 * x9 - 10082964236 * x10 - 213101049322 * x11 + 22498875848 * x12 + 231514739 * x13 + 27427812 * x14 - 85807680 * x15 + 70331652 * x16 + 70331652 * x17 - 78822373012 * x18 + 49760793 * x19 >= 6720;
s.t. c6: - 25538 * x1 + 25538 * x7 >= 1;
s.t. c7: - 72185304 * x1 - 60748800 * x2 - 14696328 * x3 - 72185304 * x4 - 60748800 * x5 - 44088984 * x6 + 3463171455 * x7 + 2230033982 * x8 - 3996058550 * x9 - 3791831164 * x10 - 81130020818 * x11 + 8603777512 * x12 + 88796191 * x13 - 85071372 * x14 - 121497600 * x15 + 20099988 * x16 + 20099988 * x17 - 30269033828 * x18 + 83903517 * x19 >= 3360;
s.t. c8: - 19436 * x1 - 36160 * x2 - 904 * x3 - 1356 * x6 + 25086 * x7 - 52206 * x11 + 26442 * x16 >= 1;
s.t. c9: - 4000200 * x1 - 6986112 * x2 + 1602792 * x3 - 102152 * x4 - 507144 * x6 + 12153037 * x7 + 4121562 * x8 - 1659970 * x9 - 4750068 * x10 - 163789206 * x11 + 21145464 * x12 + 151533 * x13 - 2000100 * x14 - 3493056 * x15 + 7643772 * x16 - 253572 * x17 - 68831916 * x18 + 3220839 * x19 >= 224;
s.t. c10: - 7178664 * x1 + 4176480 * x2 + 3935112 * x3 + 2693016 * x4 + 2088240 * x5 + 1269216 * x6 - 105213735 * x7 - 76610158 * x8 + 154121830 * x9 + 132337916 * x10 + 2782533922 * x11 - 287419568 * x12 - 3103319 * x13 - 3589332 * x14 + 2088240 * x15 + 2770308 * x16 - 931572 * x17 + 1027337692 * x18 - 90513 * x19 >= 420;
s.t. c11: - 3886296 * x1 - 4664640 * x2 + 1109208 * x3 - 306456 * x4 - 1553976 * x6 + 44722575 * x7 + 27929758 * x8 - 46862230 * x9 - 46530236 * x10 - 1027897042 * x11 + 115329608 * x12 + 1137119 * x13 - 153228 * x14 + 2721492 * x16 - 153228 * x17 - 378830692 * x18 - 38307 * x19 >= 240;
s.t. c12: - 3616 * x1 - 3164 * x2 - 1356 * x3 - 2034 * x6 + 24860 * x7 + 62150 * x11 + 1356 * x16 >= 1;
s.t. c13: - 816312 * x1 - 1518720 * x2 - 344424 * x3 - 816312 * x4 - 1518720 * x5 - 1033272 * x6 + 93124995 * x7 + 51828806 * x8 - 127051550 * x9 - 89229772 * x10 - 1885849994 * x11 + 199105096 * x12 + 2048803 * x13 - 408156 * x14 - 759360 * x15 + 622404 * x16 + 622404 * x17 - 697543124 * x18 + 440361 * x19 >= 480;
s.t. c14: - 919368 * x1 - 306456 * x3 - 919368 * x4 - 919368 * x6 + 95575965 * x7 + 51407994 * x8 - 122199330 * x9 - 102815988 * x10 - 1870071126 * x11 + 198889944 * x12 + 1838397 * x13 - 459684 * x14 - 459684 * x16 - 459684 * x17 - 652291596 * x18 - 114921 * x19 >= 560;
s.t. c15: - 3544584 * x1 - 51636480 * x2 + 16789992 * x3 - 8100744 * x4 - 5568640 * x5 - 5822664 * x6 + 407817565 * x7 + 224715642 * x8 - 387794530 * x9 - 365142324 * x10 - 8202146358 * x11 + 903369912 * x12 + 8542461 * x13 - 5189412 * x14 - 34171200 * x15 + 21767868 * x16 + 2024508 * x17 - 3067696428 * x18 + 10852407 * x19 >= 2240;
s.t. c16: - 1022424 * x1 + 1518720 * x2 + 5860632 * x3 + 306456 * x4 - 1781784 * x6 - 4846005 * x7 - 26453978 * x8 + 71123330 * x9 + 52148596 * x10 + 1009539062 * x11 - 73447288 * x12 - 1443349 * x13 - 511212 * x14 + 759360 * x15 + 7651908 * x16 - 890892 * x17 + 361360892 * x18 + 1628217 * x19 >= 840;
s.t. c17: - 1022424 * x1 + 1518720 * x2 + 5860632 * x3 + 306456 * x4 - 1781784 * x6 - 4846005 * x7 - 5002058 * x8 + 6767570 * x9 + 9244756 * x10 + 215818022 * x11 - 30543448 * x12 - 114469 * x13 - 511212 * x14 + 759360 * x15 + 7651908 * x16 - 890892 * x17 + 82485932 * x18 + 1628217 * x19 >= 840;
s.t. c18: - 160008 * x1 + 664440 * x2 - 21696 * x3 - 160008 * x4 + 664440 * x5 - 65088 * x6 + 15700785 * x7 + 3062074 * x8 - 7789090 * x9 - 13432988 * x10 - 111551566 * x11 + 11359664 * x12 + 114017 * x13 + 1059036 * x14 + 1328880 * x15 + 109836 * x16 + 109836 * x17 - 38412316 * x18 - 684441 * x19 >= 420;
s.t. c19: - 25538 * x2 + 25538 * x7 >= 1;
s.t. c20: - 25538 * x3 + 25538 * x7 >= 1;
s.t. c21: - 25538 * x4 + 25538 * x7 >= 1;
s.t. c22: - 19436 * x4 - 36160 * x5 - 1356 * x6 + 24182 * x7 - 156618 * x12 + 26442 * x17 >= 1;
s.t. c23: - 3616 * x4 - 3164 * x5 - 2034 * x6 + 23504 * x7 + 186450 * x12 + 1356 * x17 >= 1;
s.t. c24: - 25538 * x5 + 25538 * x7 >= 1;
s.t. c25: - 25538 * x6 + 25538 * x7 >= 1;
s.t. c26: - 25538 * x8 + 76614 * x9 + 51076 * x10 + 944906 * x11 - 51076 * x12 - 1582 * x13 + 331994 * x18 >= 1;
s.t. c27: 12769 * x7 - 20792 * x8 + 102152 * x9 + 51076 * x10 + 791678 * x11 + 25538 * x12 + 791 * x13 + 255380 * x18 >= 1;
s.t. c28: 12769 * x7 - 4746 * x8 - 25538 * x9 + 153228 * x11 - 76614 * x12 + 5085 * x13 + 76614 * x18 >= 1;
s.t. c29: 12769 * x7 - 3164 * x8 - 204304 * x9 - 102152 * x10 + 102152 * x11 - 51076 * x12 + 2147 * x13 + 331994 * x18 >= 1;
s.t. c30: 12769 * x7 - 280918 * x9 + 3729 * x13 >= 1;
s.t. c31: 12769 * x7 - 76614 * x10 + 3729 * x13 >= 1;
s.t. c32: 12769 * x7 - 280918 * x11 + 3729 * x13 >= 1;
s.t. c33: 12769 * x7 - 842754 * x12 + 3729 * x13 >= 1;
s.t. c34: 12769 * x7 - 25538 * x14 + 12769 * x19 >= 1;
s.t. c35: 12769 * x7 - 19436 * x14 - 36160 * x15 - 1356 * x16 - 1356 * x17 - 52206 * x18 + 39211 * x19 >= 1;
s.t. c36: 12769 * x7 - 3616 * x14 - 3164 * x15 - 2034 * x16 - 2034 * x17 + 62150 * x18 + 14125 * x19 >= 1;
s.t. c37: 12769 * x7 - 25538 * x15 + 12769 * x19 >= 1;
s.t. c38: 12769 * x7 - 25538 * x16 + 12769 * x19 >= 1;
s.t. c39: 12769 * x7 - 25538 * x17 + 12769 * x19 >= 1;
s.t. c40: 12769 * x7 + 25538 * x17 + 12769 * x19 >= 1;
s.t. c41: 12769 * x7 + 25538 * x16 + 12769 * x19 >= 1;
s.t. c42: 12769 * x7 + 25538 * x15 + 12769 * x19 >= 1;
s.t. c43: 12769 * x7 + 3616 * x14 + 3164 * x15 + 2034 * x16 + 2034 * x17 - 62150 * x18 + 11413 * x19 >= 1;
s.t. c44: 12769 * x7 + 19436 * x14 + 36160 * x15 + 1356 * x16 + 1356 * x17 + 52206 * x18 - 13673 * x19 >= 1;
s.t. c45: 12769 * x7 + 25538 * x14 + 12769 * x19 >= 1;
s.t. c46: 12769 * x7 + 842754 * x12 + 3729 * x13 >= 1;
s.t. c47: 12769 * x7 + 280918 * x11 + 3729 * x13 >= 1;
s.t. c48: 12769 * x7 + 76614 * x10 + 3729 * x13 >= 1;
s.t. c49: 12769 * x7 + 280918 * x9 + 3729 * x13 >= 1;
s.t. c50: 12769 * x7 + 3164 * x8 + 204304 * x9 + 102152 * x10 - 102152 * x11 + 51076 * x12 + 5311 * x13 - 331994 * x18 >= 1;
s.t. c51: 12769 * x7 + 4746 * x8 + 25538 * x9 - 153228 * x11 + 76614 * x12 + 2373 * x13 - 76614 * x18 >= 1;
s.t. c52: 12769 * x7 + 20792 * x8 - 102152 * x9 - 51076 * x10 - 791678 * x11 - 25538 * x12 + 6667 * x13 - 255380 * x18 >= 1;
s.t. c53: 51076 * x7 + 25538 * x8 - 76614 * x9 - 51076 * x10 - 944906 * x11 + 51076 * x12 + 1582 * x13 - 331994 * x18 >= 1;
s.t. c54: 25538 * x6 + 25538 * x7 >= 1;
s.t. c55: 25538 * x5 + 25538 * x7 >= 1;
s.t. c56: 3616 * x4 + 3164 * x5 + 2034 * x6 + 27572 * x7 - 186450 * x12 - 1356 * x17 >= 1;
s.t. c57: 19436 * x4 + 36160 * x5 + 1356 * x6 + 26894 * x7 + 156618 * x12 - 26442 * x17 >= 1;
s.t. c58: 25538 * x4 + 25538 * x7 >= 1;
s.t. c59: 25538 * x3 + 25538 * x7 >= 1;
s.t. c60: 25538 * x2 + 25538 * x7 >= 1;
s.t. c61: 306456 * x1 - 28500408 * x3 + 306456 * x4 + 306456 * x6 + 7469865 * x7 - 42764398 * x8 + 105088870 * x9 + 77175836 * x10 + 1574392162 * x11 - 109200488 * x12 - 2289719 * x13 + 3570348 * x14 + 8352960 * x15 - 606132 * x16 - 606132 * x17 + 545727172 * x18 + 4119867 * x19 >= 3360;
s.t. c62: 160008 * x1 - 664440 * x2 + 21696 * x3 + 160008 * x4 - 664440 * x5 + 65088 * x6 + 5751135 * x7 - 3062074 * x8 + 7789090 * x9 + 13432988 * x10 + 111551566 * x11 - 11359664 * x12 - 114017 * x13 - 1059036 * x14 - 1328880 * x15 - 109836 * x16 - 109836 * x17 + 38412316 * x18 + 684441 * x19 >= 420;
s.t. c63: 919368 * x1 + 306456 * x3 + 919368 * x4 + 919368 * x6 - 63398085 * x7 - 42485514 * x8 + 57843570 * x9 + 59912148 * x10 + 1548292326 * x11 - 155986104 * x12 - 1553637 * x13 + 3876804 * x14 + 8352960 * x15 - 299676 * x16 - 299676 * x17 + 580152396 * x18 - 2954159 * x19 >= 1120;
s.t. c64: 919368 * x1 + 306456 * x3 + 919368 * x4 + 919368 * x6 - 66973405 * x7 - 51407994 * x8 + 122199330 * x9 + 102815988 * x10 + 1870071126 * x11 - 198889944 * x12 - 1838397 * x13 + 459684 * x14 + 459684 * x16 + 459684 * x17 + 652291596 * x18 + 114921 * x19 >= 560;
s.t. c65: 816312 * x1 + 1518720 * x2 + 344424 * x3 + 816312 * x4 + 1518720 * x5 + 1033272 * x6 - 68608515 * x7 - 51828806 * x8 + 127051550 * x9 + 89229772 * x10 + 1885849994 * x11 - 199105096 * x12 - 2048803 * x13 + 408156 * x14 + 759360 * x15 - 622404 * x16 - 622404 * x17 + 697543124 * x18 - 440361 * x19 >= 480;
s.t. c66: 7140696 * x1 + 16705920 * x2 + 27692232 * x3 - 6527784 * x4 - 16705920 * x5 - 85501224 * x6 + 37084905 * x7 - 42764398 * x8 + 105088870 * x9 + 77175836 * x10 + 1515921442 * x11 + 66211672 * x12 - 2289719 * x13 + 3570348 * x14 + 8352960 * x15 + 29008908 * x16 - 30221172 * x17 + 545727172 * x18 + 4119867 * x19 >= 3360;
s.t. c67: 7140696 * x1 + 16705920 * x2 + 27692232 * x3 + 306456 * x4 - 1212264 * x6 - 7337655 * x7 - 42764398 * x8 + 105088870 * x9 + 77175836 * x10 + 1515921442 * x11 - 109200488 * x12 - 2289719 * x13 + 3570348 * x14 + 8352960 * x15 + 29008908 * x16 - 606132 * x17 + 545727172 * x18 + 4119867 * x19 >= 3360;
s.t. c68: 7140696 * x1 + 16705920 * x2 + 27692232 * x3 + 7140696 * x4 + 16705920 * x5 + 83076696 * x6 + 34047465 * x7 - 42764398 * x8 + 105088870 * x9 + 77175836 * x10 + 1515921442 * x11 - 284612648 * x12 - 2289719 * x13 + 3570348 * x14 + 8352960 * x15 + 29008908 * x16 + 29008908 * x17 + 545727172 * x18 + 4119867 * x19 >= 3360;
s.t. c69: 3616 * x1 + 3164 * x2 + 1356 * x3 + 2034 * x6 + 26216 * x7 - 62150 * x11 - 1356 * x16 >= 1;
s.t. c70: 13974936 * x1 + 33411840 * x2 + 83884872 * x3 + 306456 * x4 - 2730984 * x6 + 63662505 * x7 - 42764398 * x8 + 105088870 * x9 + 77175836 * x10 + 1457450722 * x11 - 109200488 * x12 - 2289719 * x13 + 3570348 * x14 + 8352960 * x15 + 58623948 * x16 - 606132 * x17 + 545727172 * x18 + 4119867 * x19 >= 3360;
s.t. c71: 2758104 * x1 + 919368 * x3 - 3949576 * x4 - 506240 * x5 - 3696456 * x6 + 16082725 * x7 + 7804458 * x8 - 8810610 * x9 - 13330836 * x10 - 278338662 * x11 + 9299448 * x12 + 322389 * x13 - 1974788 * x14 - 253120 * x15 - 1848228 * x16 + 2454812 * x17 - 108774252 * x18 + 708623 * x19 >= 560;
s.t. c72: 3061848 * x1 + 4556160 * x2 + 5323656 * x3 - 102152 * x4 + 783768 * x6 + 15086065 * x7 - 10920094 * x8 + 30517910 * x9 + 19562108 * x10 + 361428466 * x11 - 16037864 * x12 - 686927 * x13 + 1530924 * x14 + 2278080 * x15 + 4568364 * x16 + 391884 * x17 + 126918436 * x18 + 287811 * x19 >= 560;
s.t. c73: 3061848 * x1 + 4556160 * x2 + 5323656 * x3 - 102152 * x4 + 783768 * x6 + 15086065 * x7 + 3381186 * x8 - 12385930 * x9 - 9040452 * x10 - 167718894 * x11 + 12564696 * x12 + 198993 * x13 + 1530924 * x14 + 2278080 * x15 + 4568364 * x16 + 391884 * x17 - 58998204 * x18 + 287811 * x19 >= 560;
s.t. c74: 39196536 * x1 + 221733120 * x2 + 60398952 * x3 + 25528056 * x4 + 16705920 * x5 + 12618936 * x6 - 1081187955 * x7 - 845204518 * x8 + 1583739070 * x9 + 1404130316 * x10 + 30670124842 * x11 - 3146911688 * x12 - 34786259 * x13 + 29849628 * x14 + 135925440 * x15 + 50732028 * x16 - 8498052 * x17 + 11385997972 * x18 - 16077753 * x19 >= 6720;
s.t. c75: 919368 * x1 + 306456 * x3 + 919368 * x4 + 919368 * x6 - 44091357 * x7 - 29082810 * x8 + 53553186 * x9 + 51331380 * x10 + 1054898166 * x11 - 121663032 * x12 - 1117005 * x13 + 611556 * x14 + 2278080 * x15 - 527484 * x16 - 527484 * x17 + 395476044 * x18 - 657095 * x19 >= 112;
s.t. c76: 19436 * x1 + 36160 * x2 + 904 * x3 + 1356 * x6 + 25990 * x7 + 52206 * x11 - 26442 * x16 >= 1;
s.t. c77: 11951784 * x1 + 3983928 * x3 - 3488536 * x4 - 2784320 * x5 - 2096376 * x6 + 152140375 * x7 + 87892078 * x8 - 170466150 * x9 - 150725276 * x10 - 3204738082 * x11 + 346825928 * x12 + 3374519 * x13 + 5975892 * x14 + 5975892 * x16 + 1040052 * x17 - 1187874532 * x18 + 1493973 * x19 >= 560;
s.t. c78: 72185304 * x1 + 60748800 * x2 + 14696328 * x3 + 72185304 * x4 + 60748800 * x5 + 44088984 * x6 - 3291556095 * x7 - 2230033982 * x8 + 3996058550 * x9 + 3791831164 * x10 + 81130020818 * x11 - 8603777512 * x12 - 88796191 * x13 + 85071372 * x14 + 121497600 * x15 - 20099988 * x16 - 20099988 * x17 + 30269033828 * x18 - 83903517 * x19 >= 3360;
s.t. c79: 10612056 * x1 + 19743360 * x2 + 4477512 * x3 + 306456 * x4 + 740376 * x6 - 15880455 * x7 - 21050318 * x8 + 33582470 * x9 + 32228956 * x10 + 784097282 * x11 - 76511848 * x12 - 978919 * x13 + 5306028 * x14 + 9871680 * x15 - 8091252 * x16 + 370188 * x17 + 303419012 * x18 - 5724693 * x19 >= 480;
s.t. c80: 5714184 * x1 + 10631040 * x2 + 2410968 * x3 + 5714184 * x4 + 10631040 * x5 + 7232904 * x6 + 37651035 * x7 + 16010518 * x8 - 48394510 * x9 - 37336556 * x10 - 589570042 * x11 + 40478408 * x12 + 547259 * x13 + 2857092 * x14 + 5315520 * x15 - 4356828 * x16 - 4356828 * x17 - 192109492 * x18 - 3082527 * x19 >= 240;
s.t. c81: 25538 * x1 + 25538 * x7 >= 1;
s.t. c82: 202567416 * x1 + 171615360 * x2 + 38919912 * x3 + 202567416 * x4 + 171615360 * x5 + 116759736 * x6 - 8770196115 * x7 - 5856655078 * x8 + 10985809150 * x9 + 10082964236 * x10 + 213101049322 * x11 - 22498875848 * x12 - 231514739 * x13 - 27427812 * x14 + 85807680 * x15 - 70331652 * x16 - 70331652 * x17 + 78822373012 * x18 - 49760793 * x19 >= 6720;
s.t. c83: 54107112 * x1 + 56192640 * x2 + 32969784 * x3 + 54107112 * x4 + 56192640 * x5 + 98909352 * x6 + 2032659255 * x7 + 1246100494 * x8 - 2428025350 * x9 - 2183141468 * x10 - 45387110146 * x11 + 4648025384 * x12 + 49082567 * x13 - 31037484 * x14 - 28096320 * x15 - 65588364 * x16 - 65588364 * x17 - 16664857156 * x18 + 18438549 * x19 >= 1680;
s.t. c84: 9190968 * x1 + 4556160 * x2 + 1646184 * x3 + 14607736 * x4 + 6912888 * x6 - 318184835 * x7 - 213652038 * x8 + 380388510 * x9 + 370352076 * x10 + 7767346314 * x11 - 895770888 * x12 - 8380419 * x13 - 821284 * x14 + 6834240 * x15 - 2922180 * x16 - 4238404 * x17 + 2883581460 * x18 - 2635273 * x19 >= 224;
s.t. c85: 1735680 * x1 + 1518720 * x2 + 344424 * x3 + 1735680 * x4 + 1518720 * x5 + 1033272 * x6 - 78874791 * x7 - 51828806 * x8 + 95026898 * x9 + 89229772 * x10 + 1885849994 * x11 - 199105096 * x12 - 2048803 * x13 + 611556 * x14 + 2278080 * x15 - 565452 * x16 - 565452 * x17 + 699735776 * x18 - 1014627 * x19 >= 42;
s.t. c86: 1735680 * x1 + 1518720 * x2 + 344424 * x3 + 1735680 * x4 + 1518720 * x5 + 1033272 * x6 - 78874791 * x7 - 51828806 * x8 + 95026898 * x9 + 89229772 * x10 + 1885849994 * x11 - 199105096 * x12 - 2048803 * x13 + 867840 * x14 + 759360 * x15 - 622404 * x16 - 622404 * x17 + 697543124 * x18 - 440361 * x19 >= 42;
s.t. c87: 5714184 * x1 + 10631040 * x2 + 2410968 * x3 + 5768424 * x4 + 5315520 * x5 + 3815784 * x6 - 261496125 * x7 - 173395562 * x8 + 319352690 * x9 + 293635924 * x10 + 6305689958 * x11 - 666784072 * x12 - 6897181 * x13 + 2857092 * x14 + 5315520 * x15 - 4356828 * x16 - 2078748 * x17 + 2345346188 * x18 - 3082527 * x19 >= 120;
s.t. c88: 2042136 * x1 + 1518720 * x2 + 804108 * x3 + 2042136 * x4 + 1518720 * x5 + 3484920 * x6 + 84389643 * x7 + 51828806 * x8 - 95026898 * x9 - 89229772 * x10 - 1881464690 * x11 + 212261008 * x12 + 2048803 * x13 - 867840 * x14 - 759360 * x15 - 1598724 * x16 - 1598724 * x17 - 697543124 * x18 + 440361 * x19 >= 42;
s.t. c89: 13790520 * x1 + 4596840 * x3 + 13790520 * x4 + 13790520 * x6 - 557686075 * x7 - 371127030 * x8 + 681736910 * x9 + 641259180 * x10 + 13485213210 * x11 - 1481714760 * x12 - 14685819 * x13 + 4996860 * x14 + 14427840 * x15 - 2217060 * x16 - 2217060 * x17 + 5005873332 * x18 - 7217649 * x19 >= 224;
s.t. c90: 13177608 * x1 + 10725960 * x2 + 2604876 * x3 + 13177608 * x4 + 10725960 * x5 + 7814628 * x6 - 598546875 * x7 - 393617194 * x8 + 721831570 * x9 + 669248828 * x10 + 14321123026 * x11 - 1515373844 * x12 - 15616487 * x13 + 6588804 * x14 + 21451920 * x15 - 4137156 * x16 - 4137156 * x17 + 5320127236 * x18 - 9078759 * x19 >= 210;
s.t. c91: 1027848 * x1 + 94920 * x2 + 193908 * x3 + 1736584 * x4 + 980388 * x6 - 8930729 * x7 - 7001706 * x8 + 12488082 * x9 + 12105012 * x10 + 254409330 * x11 - 29113320 * x12 - 278997 * x13 - 549180 * x14 + 189840 * x15 - 378324 * x16 - 644100 * x17 + 94490148 * x18 + 33561 * x19 >= 14;
solve;
display x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19;
end;