minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 37228.320000 
s2: s + 0.001000f1 + 0.501000f2 >= 37228.320000 
f1: -f1 + 877x1 + 485x2 + 931x3 + 957x4 + 693x5 + 451x6 + 930x7 + 406x8 + 736x9 + 668x10 + 846x11 + 941x12 + 795x13 + 832x14 + 599x15 + 703x16 + 559x17 + 711x18 + 876x19 + 727x20 + 703x21 + 616x22 + 906x23 + 686x24 + 527x25 + 1017x26 + 718x27 + 473x28 + 984x29 + 925x30 + 839x31 + 614x32 + 803x33 + 812x34 + 596x35 + 759x36 + 1061x37 + 624x38 + 532x39 + 906x40 + 533x41 + 318x42 + 683x43 + 607x44 + 924x45 + 939x46 + 934x47 + 739x48 + 682x49 + 753x50 + 524x51 + 881x52 + 994x53 + 874x54 + 1056x55 + 682x56 + 867x57 + 660x58 + 594x59 + 848x60 + 733x61 + 924x62 + 447x63 + 383x64 + 602x65 + 863x66 + 831x67 + 986x68 + 740x69 + 607x70 + 826x71 + 668x72 + 585x73 + 1005x74 + 926x75 + 831x76 + 608x77 + 760x78 + 582x79 + 794x80 + 616x81 + 896x82 + 564x83 + 770x84 + 918x85 + 792x86 + 616x87 + 771x88 + 336x89 + 900x90 + 749x91 + 485x92 + 758x93 + 727x94 + 619x95 + 725x96 + 664x97 + 883x98 + 883x99 + 871x100  = 0 
f2: -f2 + 473x1 + 596x2 + 839x3 + 832x4 + 924x5 + 794x6 + 711x7 + 876x8 + 616x9 + 831x10 + 753x11 + 846x12 + 874x13 + 668x14 + 930x15 + 682x16 + 607x17 + 1017x18 + 668x19 + 957x20 + 831x21 + 594x22 + 585x23 + 896x24 + 533x25 + 624x26 + 447x27 + 725x28 + 532x29 + 616x30 + 736x31 + 607x32 + 918x33 + 727x34 + 863x35 + 524x36 + 986x37 + 727x38 + 812x39 + 749x40 + 771x41 + 718x42 + 934x43 + 485x44 + 619x45 + 703x46 + 582x47 + 682x48 + 758x49 + 1005x50 + 599x51 + 740x52 + 1056x53 + 760x54 + 848x55 + 616x56 + 867x57 + 318x58 + 686x59 + 703x60 + 602x61 + 877x62 + 683x63 + 1061x64 + 924x65 + 931x66 + 660x67 + 733x68 + 559x69 + 906x70 + 900x71 + 451x72 + 608x73 + 485x74 + 925x75 + 383x76 + 926x77 + 826x78 + 693x79 + 564x80 + 614x81 + 759x82 + 994x83 + 939x84 + 803x85 + 883x86 + 770x87 + 906x88 + 406x89 + 941x90 + 664x91 + 739x92 + 336x93 + 527x94 + 883x95 + 984x96 + 871x97 + 881x98 + 795x99 + 792x100  = 0 
constr1: + 504x1 + 408x2 + 103x3 + 896x4 + 750x5 + 482x6 + 334x7 + 407x8 + 178x9 + 63x10 + 923x11 + 582x12 + 978x13 + 28x14 + 804x15 + 840x16 + 167x17 + 131x18 + 959x19 + 116x20 + 80x21 + 734x22 + 377x23 + 892x24 + 462x25 + 73x26 + 202x27 + 376x28 + 71x29 + 719x30 + 870x31 + 106x32 + 885x33 + 257x34 + 299x35 + 9x36 + 902x37 + 956x38 + 464x39 + 745x40 + 763x41 + 322x42 + 762x43 + 639x44 + 59x45 + 110x46 + 702x47 + 1000x48 + 64x49 + 618x50 + 637x51 + 697x52 + 543x53 + 43x54 + 465x55 + 822x56 + 66x57 + 810x58 + 106x59 + 701x60 + 695x61 + 347x62 + 406x63 + 666x64 + 264x65 + 79x66 + 626x67 + 483x68 + 948x69 + 619x70 + 556x71 + 323x72 + 42x73 + 33x74 + 972x75 + 769x76 + 419x77 + 300x78 + 460x79 + 896x80 + 807x81 + 535x82 + 461x83 + 247x84 + 52x85 + 341x86 + 451x87 + 865x88 + 357x89 + 215x90 + 469x91 + 468x92 + 126x93 + 643x94 + 649x95 + 595x96 + 627x97 + 306x98 + 868x99 + 54x100 <= 12201 
constr2: + 793x1 + 766x2 + 819x3 + 111x4 + 372x5 + 325x6 + 454x7 + 401x8 + 890x9 + 813x10 + 48x11 + 966x12 + 778x13 + 97x14 + 112x15 + 952x16 + 794x17 + 58x18 + 632x19 + 308x20 + 905x21 + 809x22 + 510x23 + 123x24 + 69x25 + 135x26 + 461x27 + 315x28 + 461x29 + 128x30 + 28x31 + 989x32 + 62x33 + 353x34 + 587x35 + 487x36 + 1000x37 + 71x38 + 35x39 + 626x40 + 568x41 + 746x42 + 741x43 + 395x44 + 982x45 + 763x46 + 40x47 + 91x48 + 974x49 + 828x50 + 926x51 + 969x52 + 289x53 + 951x54 + 117x55 + 413x56 + 387x57 + 651x58 + 864x59 + 92x60 + 517x61 + 293x62 + 53x63 + 713x64 + 154x65 + 554x66 + 823x67 + 281x68 + 724x69 + 880x70 + 244x71 + 660x72 + 846x73 + 452x74 + 670x75 + 576x76 + 26x77 + 523x78 + 372x79 + 288x80 + 314x81 + 660x82 + 855x83 + 463x84 + 41x85 + 346x86 + 304x87 + 288x88 + 513x89 + 109x90 + 239x91 + 223x92 + 21x93 + 927x94 + 3x95 + 223x96 + 183x97 + 169x98 + 535x99 + 460x100 <= 12416 
constr3: + 417x1 + 184x2 + 382x3 + 93x4 + 988x5 + 333x6 + 204x7 + 357x8 + 696x9 + 548x10 + 745x11 + 164x12 + 980x13 + 499x14 + 691x15 + 960x16 + 13x17 + 390x18 + 846x19 + 187x20 + 997x21 + 614x22 + 96x23 + 243x24 + 280x25 + 158x26 + 844x27 + 945x28 + 231x29 + 607x30 + 785x31 + 301x32 + 863x33 + 427x34 + 290x35 + 934x36 + 585x37 + 939x38 + 774x39 + 740x40 + 561x41 + 179x42 + 799x43 + 888x44 + 577x45 + 211x46 + 253x47 + 513x48 + 206x49 + 799x50 + 187x51 + 295x52 + 943x53 + 61x54 + 870x55 + 657x56 + 795x57 + 115x58 + 907x59 + 993x60 + 611x61 + 145x62 + 864x63 + 133x64 + 242x65 + 777x66 + 423x67 + 614x68 + 297x69 + 732x70 + 897x71 + 26x72 + 967x73 + 78x74 + 647x75 + 252x76 + 187x77 + 383x78 + 568x79 + 920x80 + 275x81 + 242x82 + 768x83 + 762x84 + 599x85 + 80x86 + 245x87 + 567x88 + 324x89 + 715x90 + 538x91 + 808x92 + 891x93 + 670x94 + 199x95 + 788x96 + 33x97 + 378x98 + 101x99 + 460x100 <= 11848 
constr4: + 431x1 + 145x2 + 917x3 + 757x4 + 254x5 + 674x6 + 232x7 + 406x8 + 206x9 + 275x10 + 889x11 + 206x12 + 383x13 + 55x14 + 756x15 + 92x16 + 83x17 + 228x18 + 788x19 + 549x20 + 283x21 + 661x22 + 141x23 + 25x24 + 545x25 + 783x26 + 345x27 + 180x28 + 838x29 + 550x30 + 997x31 + 648x32 + 180x33 + 160x34 + 739x35 + 624x36 + 875x37 + 518x38 + 296x39 + 365x40 + 430x41 + 840x42 + 421x43 + 123x44 + 61x45 + 616x46 + 656x47 + 986x48 + 187x49 + 556x50 + 170x51 + 855x52 + 47x53 + 671x54 + 401x55 + 91x56 + 236x57 + 646x58 + 541x59 + 297x60 + 363x61 + 573x62 + 77x63 + 778x64 + 158x65 + 970x66 + 226x67 + 667x68 + 406x69 + 870x70 + 976x71 + 419x72 + 700x73 + 801x74 + 570x75 + 519x76 + 185x77 + 445x78 + 653x79 + 248x80 + 744x81 + 584x82 + 794x83 + 498x84 + 920x85 + 877x86 + 214x87 + 581x88 + 917x89 + 377x90 + 116x91 + 622x92 + 22x93 + 656x94 + 911x95 + 404x96 + 487x97 + 520x98 + 203x99 + 573x100 <= 13093 
constr5: + 998x1 + 66x2 + 156x3 + 679x4 + 945x5 + 421x6 + 12x7 + 556x8 + 675x9 + 177x10 + 123x11 + 406x12 + 424x13 + 322x14 + 947x15 + 767x16 + 30x17 + 686x18 + 369x19 + 906x20 + 851x21 + 327x22 + 136x23 + 810x24 + 173x25 + 814x26 + 805x27 + 146x28 + 937x29 + 412x30 + 610x31 + 987x32 + 119x33 + 568x34 + 525x35 + 892x36 + 635x37 + 518x38 + 545x39 + 891x40 + 459x41 + 340x42 + 178x43 + 383x44 + 573x45 + 765x46 + 307x47 + 999x48 + 497x49 + 113x50 + 562x51 + 466x52 + 433x53 + 209x54 + 216x55 + 351x56 + 918x57 + 597x58 + 371x59 + 732x60 + 308x61 + 423x62 + 358x63 + 218x64 + 699x65 + 367x66 + 797x67 + 957x68 + 454x69 + 264x70 + 580x71 + 239x72 + 238x73 + 304x74 + 432x75 + 771x76 + 118x77 + 74x78 + 770x79 + 92x80 + 566x81 + 492x82 + 241x83 + 494x84 + 978x85 + 891x86 + 222x87 + 401x88 + 946x89 + 829x90 + 632x91 + 108x92 + 818x93 + 516x94 + 8x95 + 333x96 + 546x97 + 528x98 + 660x99 + 164x100 <= 12057 
constr6: + 431x1 + 900x2 + 977x3 + 22x4 + 995x5 + 409x6 + 274x7 + 188x8 + 293x9 + 521x10 + 864x11 + 386x12 + 826x13 + 479x14 + 543x15 + 89x16 + 366x17 + 254x18 + 361x19 + 252x20 + 206x21 + 65x22 + 209x23 + 705x24 + 702x25 + 341x26 + 855x27 + 756x28 + 26x29 + 44x30 + 345x31 + 14x32 + 447x33 + 442x34 + 910x35 + 24x36 + 730x37 + 546x38 + 803x39 + 514x40 + 221x41 + 152x42 + 89x43 + 304x44 + 296x45 + 318x46 + 123x47 + 585x48 + 11x49 + 289x50 + 10x51 + 873x52 + 831x53 + 707x54 + 194x55 + 934x56 + 620x57 + 417x58 + 28x59 + 245x60 + 250x61 + 180x62 + 404x63 + 188x64 + 27x65 + 362x66 + 595x67 + 695x68 + 405x69 + 148x70 + 533x71 + 414x72 + 834x73 + 40x74 + 81x75 + 619x76 + 601x77 + 951x78 + 966x79 + 102x80 + 629x81 + 206x82 + 922x83 + 979x84 + 587x85 + 678x86 + 291x87 + 993x88 + 199x89 + 206x90 + 281x91 + 363x92 + 69x93 + 694x94 + 207x95 + 360x96 + 122x97 + 572x98 + 495x99 + 805x100 <= 13132 
constr7: + 371x1 + 599x2 + 314x3 + 825x4 + 77x5 + 480x6 + 705x7 + 381x8 + 768x9 + 804x10 + 142x11 + 130x12 + 857x13 + 720x14 + 726x15 + 914x16 + 315x17 + 599x18 + 657x19 + 158x20 + 918x21 + 485x22 + 637x23 + 857x24 + 317x25 + 686x26 + 769x27 + 148x28 + 397x29 + 494x30 + 845x31 + 107x32 + 19x33 + 352x34 + 511x35 + 820x36 + 789x37 + 921x38 + 133x39 + 372x40 + 910x41 + 981x42 + 776x43 + 812x44 + 84x45 + 71x46 + 333x47 + 318x48 + 387x49 + 811x50 + 388x51 + 978x52 + 370x53 + 742x54 + 155x55 + 462x56 + 203x57 + 449x58 + 842x59 + 672x60 + 269x61 + 132x62 + 166x63 + 388x64 + 900x65 + 543x66 + 600x67 + 802x68 + 381x69 + 281x70 + 390x71 + 270x72 + 572x73 + 76x74 + 607x75 + 584x76 + 880x77 + 741x78 + 281x79 + 228x80 + 220x81 + 878x82 + 420x83 + 834x84 + 494x85 + 637x86 + 790x87 + 245x88 + 202x89 + 228x90 + 279x91 + 477x92 + 30x93 + 953x94 + 876x95 + 823x96 + 357x97 + 294x98 + 383x99 + 154x100 <= 11805 
constr8: + 636x1 + 362x2 + 68x3 + 781x4 + 158x5 + 673x6 + 627x7 + 924x8 + 679x9 + 664x10 + 118x11 + 604x12 + 634x13 + 81x14 + 346x15 + 188x16 + 354x17 + 294x18 + 309x19 + 485x20 + 212x21 + 841x22 + 451x23 + 319x24 + 449x25 + 934x26 + 756x27 + 139x28 + 294x29 + 806x30 + 731x31 + 240x32 + 365x33 + 795x34 + 918x35 + 345x36 + 436x37 + 40x38 + 618x39 + 467x40 + 339x41 + 832x42 + 582x43 + 233x44 + 8x45 + 420x46 + 861x47 + 626x48 + 493x49 + 104x50 + 454x51 + 575x52 + 110x53 + 917x54 + 966x55 + 512x56 + 894x57 + 758x58 + 451x59 + 302x60 + 161x61 + 349x62 + 24x63 + 72x64 + 537x65 + 781x66 + 678x67 + 793x68 + 723x69 + 439x70 + 463x71 + 766x72 + 169x73 + 128x74 + 187x75 + 394x76 + 416x77 + 567x78 + 333x79 + 244x80 + 273x81 + 634x82 + 101x83 + 245x84 + 42x85 + 592x86 + 134x87 + 941x88 + 660x89 + 141x90 + 599x91 + 493x92 + 573x93 + 835x94 + 28x95 + 900x96 + 454x97 + 22x98 + 667x99 + 884x100 <= 10865 
constr9: + 239x1 + 301x2 + 822x3 + 165x4 + 222x5 + 665x6 + 352x7 + 575x8 + 376x9 + 904x10 + 643x11 + 238x12 + 781x13 + 659x14 + 920x15 + 313x16 + 357x17 + 878x18 + 123x19 + 860x20 + 32x21 + 761x22 + 442x23 + 700x24 + 732x25 + 11x26 + 770x27 + 645x28 + 509x29 + 420x30 + 972x31 + 166x32 + 646x33 + 768x34 + 514x35 + 658x36 + 211x37 + 313x38 + 549x39 + 615x40 + 505x41 + 99x42 + 208x43 + 777x44 + 274x45 + 720x46 + 404x47 + 414x48 + 115x49 + 740x50 + 932x51 + 905x52 + 496x53 + 727x54 + 936x55 + 673x56 + 893x57 + 952x58 + 197x59 + 569x60 + 388x61 + 831x62 + 705x63 + 79x64 + 692x65 + 592x66 + 385x67 + 592x68 + 6x69 + 373x70 + 245x71 + 104x72 + 321x73 + 619x74 + 48x75 + 69x76 + 621x77 + 217x78 + 130x79 + 371x80 + 297x81 + 622x82 + 184x83 + 359x84 + 855x85 + 650x86 + 649x87 + 558x88 + 132x89 + 642x90 + 74x91 + 205x92 + 891x93 + 215x94 + 9x95 + 609x96 + 465x97 + 157x98 + 483x99 + 190x100 <= 12479 
constr10: + 361x1 + 846x2 + 68x3 + 727x4 + 371x5 + 516x6 + 858x7 + 188x8 + 868x9 + 422x10 + 67x11 + 487x12 + 952x13 + 573x14 + 784x15 + 283x16 + 793x17 + 932x18 + 688x19 + 524x20 + 483x21 + 394x22 + 237x23 + 510x24 + 190x25 + 810x26 + 390x27 + 962x28 + 53x29 + 844x30 + 605x31 + 975x32 + 683x33 + 499x34 + 208x35 + 349x36 + 91x37 + 15x38 + 523x39 + 353x40 + 765x41 + 971x42 + 882x43 + 638x44 + 111x45 + 598x46 + 177x47 + 568x48 + 471x49 + 780x50 + 302x51 + 482x52 + 3x53 + 548x54 + 275x55 + 455x56 + 507x57 + 586x58 + 335x59 + 514x60 + 787x61 + 532x62 + 260x63 + 673x64 + 541x65 + 903x66 + 577x67 + 411x68 + 203x69 + 521x70 + 527x71 + 296x72 + 647x73 + 158x74 + 941x75 + 335x76 + 228x77 + 5x78 + 318x79 + 335x80 + 668x81 + 282x82 + 576x83 + 833x84 + 67x85 + 820x86 + 406x87 + 795x88 + 664x89 + 87x90 + 292x91 + 53x92 + 201x93 + 434x94 + 447x95 + 116x96 + 574x97 + 231x98 + 709x99 + 724x100 <= 10652 
binaries 
x1 
x2 
x3 
x4 
x5 
x6 
x7 
x8 
x9 
x10 
x11 
x12 
x13 
x14 
x15 
x16 
x17 
x18 
x19 
x20 
x21 
x22 
x23 
x24 
x25 
x26 
x27 
x28 
x29 
x30 
x31 
x32 
x33 
x34 
x35 
x36 
x37 
x38 
x39 
x40 
x41 
x42 
x43 
x44 
x45 
x46 
x47 
x48 
x49 
x50 
x51 
x52 
x53 
x54 
x55 
x56 
x57 
x58 
x59 
x60 
x61 
x62 
x63 
x64 
x65 
x66 
x67 
x68 
x69 
x70 
x71 
x72 
x73 
x74 
x75 
x76 
x77 
x78 
x79 
x80 
x81 
x82 
x83 
x84 
x85 
x86 
x87 
x88 
x89 
x90 
x91 
x92 
x93 
x94 
x95 
x96 
x97 
x98 
x99 
x100 
end